基于模型检验的飞机系统安全性分析方法研究

Research for aircraft system safety analysis method based on model checking

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖。将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的。

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 checking,by means of traversing algorithm,can search all system status in mathematical method without omitting.By using the verification tool,analysis process can be conducted automatically and the dependence of experiences can be reduced.Model checking is introduced into aircraft system safety analysis in this paper and its application process is presented as well.The wheel brake system in the appendix of SAE ARP 4761 is taken as an example.With verification tool NuSMV,the minimum failure combination which lead to the top event can be got automatically,the purpose of fault tree analysis can be achieved at the same time.