摘要
传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具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.
出处
《飞机设计》
2013年第2期68-71,共4页
Aircraft Design
基金
国家自然科学基金与民航局联合资助项目(60879001)
江苏省自然科学基金资助项目(BK2009378)
南京航空航天大学基本科研业务费专项科研项目(NS2010179)
关键词
系统安全性分析
模型检验
可靠性工程
system safety analysis
model check
reliability engineering
