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

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