|
|||||
|
|
| 高速铁路列控中心软件安全性需求形式化建模 | |
| 引用本文： | 喻钢,刘晓文,熊静,徐中伟,杜军威. 高速铁路列控中心软件安全性需求形式化建模[J]. 铁道学报, 2013, 35(7) |
| 作者姓名： | 喻钢 刘晓文 熊静 徐中伟 杜军威 |
| 作者单位： | 1. 上海大学悉尼工商学院,上海 201800;铁道部产品质量监督检验中心铁路车站计算机联锁检验站,上海201804 2. 海南师范大学信息科学与技术学院,海南海口,571158 3. 上海工程技术大学航空运输学院,上海,201620 4. 同济大学电子与信息工程学院,上海 201804;铁道部产品质量监督检验中心铁路车站计算机联锁检验站,上海201804 5. 青岛科技大学信息科学技术学院,山东青岛,266061 |
| 基金项目： | 国家自然科学基金，国家科技支撑计划，铁道部科技研究开发计划项目 |
| 摘 要： | 列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性. |
| 关 键 词： | 高速铁路 列控中心 安全性 形式化建模 安全性需求 |
Formalized Modeling of Safety Requirements of High-speed Train Control Center Software System |
|
| YU Gang , LIU Xiao-wen , XIONG Jing , XU Zhong-wei , DU Jun-wei. Formalized Modeling of Safety Requirements of High-speed Train Control Center Software System[J]. Journal of the China railway Society, 2013, 35(7) | |
| Authors: | YU Gang LIU Xiao-wen XIONG Jing XU Zhong-wei DU Jun-wei |
| Abstract: | |
| Keywords: | high-speed railway train control center safety formal modeling safety requirement |
| 本文献已被 万方数据 等数据库收录！ | |