基于模型检测的安全分析技术在轨交信号系统的应用

• 作者: 于小飞 徐美芳 陈邦兴
• 来源期刊: 佳木斯大学学报（自然科学版）
• 学科: 交通运输
• 关键词: 模型检测 安全分析技术 轨道交通信号系统
• 年，卷（期）: 2014,（1）
• 页码范围: 65-69,80
• 页数: 6页
• 分类号: U231.7
• 字数: 4356字
• 语种: 中文

摘要

轨道交通系统作为大容量公共交通运输工具，其安全性直接关系到广大乘客的生命安全，而安全分析是保障系统安全的必要手段。传统的安全分析技术，极大地依赖于分析人员的技能和经验，使得结果不够完备，甚至错误。本文提出了一种基于模型检测的安全分析新技术，并研发了集FTA和FMEA于一体的安全分析工具，通过遍历系统全部可达状态，自动识别导致某顶事件发生的最小割集，并以轨道交通的信号系统为例，说明此方法的过程及可行性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈邦兴	同济大学电子与信息工程学院	25	186	8.0	13.0
2	徐美芳	同济大学电子与信息工程学院	1	1	1.0	1.0
3	于小飞	同济大学电子与信息工程学院	2	1	1.0	1.0