高速铁路列控中心软件安全性需求形式化建模

• 作者: 刘晓文 喻钢 徐中伟 杜军威 熊静
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 高速铁路 列控中心 安全性 形式化建模 安全性需求
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 74-79
• 页数: 6页
• 分类号: U283
• 字数: 5951字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2013.07.012

摘要

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜军威	青岛科技大学信息科学技术学院	50	341	9.0	17.0
2	刘晓文	海南师范大学信息科学与技术学院	24	57	4.0	6.0
3	熊静	上海工程技术大学航空运输学院	23	82	6.0	8.0