徐美芳
- 作品数:1 被引量:0H指数:0
- 供职机构:同济大学电子与信息工程学院更多>>
- 相关领域:交通运输工程更多>>
- 基于模型检测的安全分析技术在轨交信号系统的应用
- 2014年
- 轨道交通系统作为大容量公共交通运输工具,其安全性直接关系到广大乘客的生命安全,而安全分析是保障系统安全的必要手段.传统的安全分析技术,极大地依赖于分析人员的技能和经验,使得结果不够完备,甚至错误.本文提出了一种基于模型检测的安全分析新技术,并研发了集FTA和FMEA于一体的安全分析工具,通过遍历系统全部可达状态,自动识别导致某顶事件发生的最小割集,并以轨道交通的信号系统为例,说明此方法的过程及可行性.
- 徐美芳陈邦兴于小飞
- 关键词:轨道交通信号系统