于小飞
- 作品数：2 被引量：0H指数：0
- 供职机构：同济大学电子与信息工程学院更多>>
- 相关领域：交通运输工程更多>>
- 基于需求的安全例证获取与管理方法研究
- 2013年
- 基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event-B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event-B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估.
- 于小飞陈邦兴唐晨
- 基于模型检测的安全分析技术在轨交信号系统的应用
- 2014年
- 轨道交通系统作为大容量公共交通运输工具,其安全性直接关系到广大乘客的生命安全,而安全分析是保障系统安全的必要手段.传统的安全分析技术,极大地依赖于分析人员的技能和经验,使得结果不够完备,甚至错误.本文提出了一种基于模型检测的安全分析新技术,并研发了集FTA和FMEA于一体的安全分析工具,通过遍历系统全部可达状态,自动识别导致某顶事件发生的最小割集,并以轨道交通的信号系统为例,说明此方法的过程及可行性.
- 徐美芳陈邦兴于小飞
- 关键词：轨道交通信号系统
