铁路计算机联锁系统安全关键软件的安全性能建模方法

• 作者: 张亚东 晏姗 曹雅鑫 李耀 郭进 饶畅
• 来源期刊: 中国铁道科学
• 学科: 交通运输
• 关键词: 铁路信号系统 软件安全性能 SyncCharts建模 马尔可夫决策过程
• 年，卷（期）: 2017,（2）
• 页码范围: 111-117
• 页数: 7页
• 分类号: U284.362|U283.2
• 字数: 5711字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4632.2017.02.17

摘要

针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法.定义频率风险状态转移图,在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则;依据将频率风险SyncCharts结构转化为马尔可夫决策过程(MDP)结构的规则,给出将频率风险SyncCharts转化为MDP的算法;通过MDP的模型分析方法实现频率风险SyncCharts的模型分析.以铁路计算机联锁系统中信号请求子系统安全关键软件为例,采用频率风险SyncCharts建模方法和模型分析方法,建立该子系统的安全性能分析模型,分析该子系统的激活概率和风险等级2个安全性能指标,定量描述该子系统关键软件的安全性能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭进	西南交通大学信息科学与技术学院	122	918	16.0	23.0
2	李耀	西南交通大学信息科学与技术学院	16	57	5.0	7.0
3	张亚东	西南交通大学信息科学与技术学院	54	358	11.0	17.0
4	饶畅	西南交通大学信息科学与技术学院	7	6	2.0	2.0
5	曹雅鑫	西南交通大学信息科学与技术学院	2	4	1.0	2.0
6	晏姗	西南交通大学信息科学与技术学院	2	1	1.0	1.0