基于模型检测的安全分析技术在轨交信号系统的应用 |
| |
作者姓名: | 徐美芳 陈邦兴 于小飞 |
| |
作者单位: | 同济大学电子与信息工程学院,上海201804 |
| |
摘 要: | 轨道交通系统作为大容量公共交通运输工具,其安全性直接关系到广大乘客的生命安全,而安全分析是保障系统安全的必要手段。传统的安全分析技术,极大地依赖于分析人员的技能和经验,使得结果不够完备,甚至错误。本文提出了一种基于模型检测的安全分析新技术,并研发了集FTA和FMEA于一体的安全分析工具,通过遍历系统全部可达状态,自动识别导致某顶事件发生的最小割集,并以轨道交通的信号系统为例,说明此方法的过程及可行性。
|
关 键 词: | 模型检测 安全分析技术 轨道交通信号系统 |
本文献已被 维普 等数据库收录! |
|