刘超
- 作品数：3 被引量：11H指数：2
- 供职机构：南京航空航天大学民航学院更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自然科学总论航空宇航科学技术更多>>
- 航空机载设备构型标识设计的研究被引量：2
- 2011年
- 基于DO-254构型管理的要求,对构型标识的实际应用和设计进行研究,指出了构型标识必须满足的基本要求,给出了构型标识的具体实例。
- 刘超吴海桥
- 关键词：构型管理
- 基于模型检验的飞机系统安全性分析方法研究被引量：6
- 2012年
- 传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖。将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的。
- 吴海桥刘超葛红娟王华伟
- 关键词：飞机系统NUSMV
- 基于NuSMV的系统安全性分析平台开发和应用被引量：3
- 2013年
- 传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以+5V电源监控系统为例,对其安全性进行了分析。
- 刘超吴海桥
- 关键词：系统安全性分析
