中文摘要：

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以＋5V电源监控系统为例,对其安全性进行了分析。

英文摘要：

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.