摘要
针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自主化ATP等级转换功能为例,综合运用安全状态机(SSM)建模理论,以及危险与可操作性分析方法(HAZOP),提出一种基于SSM-HAZOP的建模与自动验证方法.首先建立等级转换功能的SSM模型,然后基于HAZOP方法提取安全属性,最后利用SCADE DV工具自动验证等级转换的安全需求.结果表明,该方法能够满足列控系统等级转换安全需求建模与验证的要求,可应用于自主化ATP的安全验证.
To deal with the requirements of high safety integrity level of the train control system for high-speed railway and the difficulty in verifying its safety function requirements with the characteristics of hierarchy and concurrency,a formal modeling and autom atic verification method based on Safe State Machine(SSM)theory and Hazard and Operability Safety Analysis Method(HAZOP)is proposed for level transition function of the autonom ous ATP system.Firstly,the SSM model of level transition is established.And then,the safety attributes are extracted by using HAZOP method.Finally,SCADE DV tool is used to verify level transition safety requirements autom atically.The results show that the method can meet the requirements of modeling and verification of level transition safety of the train control system and can be applied for safety verification of the autonom ous ATP.
作者
徐慧斯
张亚东
李耀
Xu Huisi;Zhang Yadong;Li Yao
出处
《铁道通信信号》
2020年第7期1-6,共6页
Railway Signalling & Communication
基金
国家自然科学基金青年基金项目.复杂交互作用下高铁列控系统危险致因辨识及风险耦合分析方法研究.61703349
中央高校基本科研业务费专项资金资助.列控系统复杂运营场景危险致因辨识及风险耦合分析.2682017CX101
中国铁路总公司科技研究开发计划课题.高铁信号工程列控系统第三方仿真测试技术研究.N2018G062
中国铁路总公司科技研究开发计划课题.高速铁路信号系统仿真测试平台技术研究.K2018G011.