基于SSM-HAZOP的自主化ATP等级转换功能建模与验证 |
| |
引用本文: | 徐慧斯,张亚东,李耀.基于SSM-HAZOP的自主化ATP等级转换功能建模与验证[J].铁道通信信号,2020(7):1-6. |
| |
作者姓名: | 徐慧斯 张亚东 李耀 |
| |
作者单位: | 1.西南交通大学信息科学与技术学院611756;2.电子科技大学光电科学与工程学院610054; |
| |
基金项目: | 国家自然科学基金青年基金项目.复杂交互作用下高铁列控系统危险致因辨识及风险耦合分析方法研究.61703349;中央高校基本科研业务费专项资金资助.列控系统复杂运营场景危险致因辨识及风险耦合分析.2682017CX101;中国铁路总公司科技研究开发计划课题.高铁信号工程列控系统第三方仿真测试技术研究.N2018G062;中国铁路总公司科技研究开发计划课题.高速铁路信号系统仿真测试平台技术研究.K2018G011. |
| |
摘 要: | 针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自主化ATP等级转换功能为例,综合运用安全状态机(SSM)建模理论,以及危险与可操作性分析方法(HAZOP),提出一种基于SSM-HAZOP的建模与自动验证方法.首先建立等级转换功能的SSM模型,然后基于HAZOP方法提取安全属性,最后利用SCADE DV工具自动验证等级转换的安全需求.结果表明,该方法能够满足列控系统等级转换安全需求建模与验证的要求,可应用于自主化ATP的安全验证.
|
关 键 词: | 自主化ATP 等级转换 建模与验证 安全状态机 危险与可操作性分析 |
本文献已被 CNKI 维普 等数据库收录! |
|