大连理工大学主页平台管理系统卢涛--中文主页-- 基于时间自动机的ECA规则交互问题研究

论文成果

基于时间自动机的ECA规则交互问题研究

点击次数：
论文类型：期刊论文
发表时间：2017-02-15
发表刊物：计算机应用与软件
文献类型：J
卷号：34
期号：2
页面范围：74-79
ISSN号：1000-386X
关键字：ECA规则;时间自动机;转换;UPPAAL
摘要：Event-Condition-Action (ECA)规则的评估和执行独立于其他规则,但规则行为间交互作用可能导致系统行为不可预测或不安全.典型的问题有规则的不一致性和终止性.针对上述问题,提出将ECA规则转换为时间自动机,对规则之间的交互进行分析.采用时间自动机验证工具UPPAAL验证规则集合是否存在交互问题.以痴呆老人智能辅助系统为例,实验结果证明了该方法的可行性和有效性.

上一条：基于离散事件仿真门诊检查路径选择策略

下一条： A Framework for Analyzing Vulnerability of Critical Infrastructures Under Localized Attacks

卢涛 var u_u6_pic = new ImageScale("u_u6_",140,140,true,true);u_u6_pic.addimg("/_resources/group1/M00/00/47/ynZMg18RhjWAefKrAAHkBLQKKLQ175.jpg","","卢涛","8862");