一种基于场景模型的安全性分析算法研究

• 作者: 徐中伟 王曦
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 场景模型 安全性分析 模型检测
• 年，卷（期）: 2012,（11）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 67-76
• 页数: 10页
• 分类号: TP39|U283.2
• 字数: 8909字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2012.11.011

摘要

为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术.传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错.本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性.通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性.与已有的安全性分析方法相比,本文提出的方法从效率和安全质量方面改善了安全苛求软件的设计与开发,为安全苛求系统的安全性保障与安全评估提供了有力的技术支撑.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	王曦	同济大学电子与信息工程学院	11	25	3.0	4.0