| 基于NuSMV的系统安全性分析平台开发和应用 |
| |
| 引用本文： | 刘超,吴海桥.基于NuSMV的系统安全性分析平台开发和应用[J].飞机设计,2013(2):68-71. |
| |
| 作者姓名： | 刘超 吴海桥 |
| |
| 作者单位： | 南京航空航天大学民航学院,江苏南京210016 |
| |
| 基金项目： | 国家自然科学基金与民航局联合资助项目（60879001）; 江苏省自然科学基金资助项目（BK2009378）; 南京航空航天大学基本科研业务费专项科研项目（NS2010179） |
| |
| 摘 要： | 传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以＋5V电源监控系统为例,对其安全性进行了分析。
|
| 关 键 词： | 系统安全性分析 模型检验 可靠性工程 |
Development and Application of System Safety Analysis Platform Based on NuSMV |
| |
| LIU Chao,WU Hai-qiao.Development and Application of System Safety Analysis Platform Based on NuSMV[J].Aircraft Design,2013(2):68-71. |
| |
| Authors: | LIU Chao WU Hai-qiao |
| |
| Institution: | (College of Civil Aviation,Nanjing University of Aeronautics and Astronautics, Nanjing 210016,China) |
| |
| Abstract: | Traditional system safety analysis,influenced by the personal skills and experiences of analyzers,may cause the error of system failure states and failure effects.Model check is a mathematical method which proves specification or design of product whether satisfy the requirements.This paper is on the studying of model check in aircraft system safety analysis.A safety analysis platform based on NuSMV was developed and the safety of ＋5V monitor system was analyzed as an example. |
| |
| Keywords: | system safety analysis model check reliability engineering |
| 本文献已被 维普 等数据库收录！ |
|
