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

第 38卷 ，第2期 中 国 铁 道 科 学 Vo1．38 No．2 2017年 3月 CHINA RAILWAY SCIENCE M arch，2017 文章编号(2017)02—0111—07 铁路计算机联锁系统安全关键软件的 安全性能建模方法 李 耀，张亚东，郭 进，晏 姗，饶 畅，曹雅鑫 (西南交通大学 信息科学与技术学院，四川 成都 610031) 摘 要：针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求 ，在 建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度 2个参数 ，提出频率风险SyncCharts建模 方法。定义频率风险状态转移图，在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则 ；依据将 频率风险SyncCharts结构转化为马尔可夫决策过程 (MDP)结构的规则 ，给出将频率风险SyncCharts转化为