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

作     者：王曦 徐中伟 WANG Xi;XU Zhong-wei

作者机构：同济大学电子与信息工程学院上海201804 江西理工大学信息工程学院江西南昌34100 

基　　金：国家科技支撑计划(2011BAG01B00) 国家自然科学基金(60674004 61075002) 

出 版 物：《铁道学报》 (Journal of the China Railway Society)

年 卷 期：2012年第34卷第11期

页      码：67-76页

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

主 题 词：场景模型 安全性分析 模型检测 

学科分类：081203[081203] 08[工学] 0802[工学-机械学] 0835[0835] 082302[082302] 0801[工学-力学类] 0812[工学-测绘类] 0823[工学-农业工程类] 

核心收录：

D　O　I：10.3969/j.issn.1001-8360.2012.11.011

馆 藏 号：203280460...