基于SSM-HAZOP的自主化ATP等级转换功能建模与验证

• 作者: 张亚东 徐慧斯 李耀
• 来源期刊: 铁道通信信号
• 关键词: 自主化ATP 等级转换 建模与验证 安全状态机 危险与可操作性分析
• 年，卷（期）: 2020,（7）
• 所属期刊栏目: 信号·控制
• 页码范围: 1-6
• 页数: 6页
• 字数: 3412字
• 语种: 中文
• DOI: 10.13879/j.issn1000-7458.2020-07.19641

摘要

针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自主化ATP等级转换功能为例,综合运用安全状态机(SSM)建模理论,以及危险与可操作性分析方法(HAZOP),提出一种基于SSM-HAZOP的建模与自动验证方法.首先建立等级转换功能的SSM模型,然后基于HAZOP方法提取安全属性,最后利用SCADE DV工具自动验证等级转换的安全需求.结果 表明,该方法能够满足列控系统等级转换安全需求建模与验证的要求,可应用于自主化ATP的安全验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张亚东	西南交通大学信息科学与技术学院	54	358	11.0	17.0
2	徐慧斯	西南交通大学信息科学与技术学院	1	0	0.0	0.0
3	李耀	电子科技大学光电科学与工程学院	4	4	1.0	2.0