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

《基于模型检验的飞机系统安全性分析方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、第30卷第2期2012年4月中国民航大学学报JOURNAL0FCIVⅡ．AVIATIONUNIVERSnYOFCHINAVo】．30No．2April2012基于模型检验的飞机系统安全性分析方法研究吴海桥，刘超，葛红娟，王华伟(南京航空航天大学民航学院，南京210016)摘要：传统的安全性分析方法．受到分析人员自身技能和经验等因素的影响．容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法．既可以从数学上保证搜索出系统的所有状态。不会发生疏漏；又可以利用计算机检验工具．实现自动分析过程．减少对分析人员技能和经验的依赖。将模型检验引入飞

2、机系统安全性领域。提出了一种基于模型检验的安全性分析方法．以SAEARP4761标准附录中的机轮刹车系统为例，利用模型检验工具NuSMV对其安全性进行了分析，自动识j4出导致某系统顶事件发生的最小失效组合．完成了传统故障树分析的目的。关键词：飞机系统；安全性分析方法；模型检验；NuSMV中图分类号：V37；N945．1文献标志码：A文章编号：1674—5590(2012)02一0017—04Researchforaircraftsystemsafetyanalysismethodbasedonmodelchecking形UHai-qiao，L

3、1UChao，GEHo增0呦，WANGHua-wei(CollegeofCivilAviation，NUAA，Nanjing210016，China)Abstract：Traditionalsystemsafetyanalysis，influencedbythepersonalskillsandexpedencesofanalyzers，mayc棚雠theerrorofsystemfaihavstatesandhilumeffects．Modelchecking。byrecallsoftraversingalgorithm，callsearc

4、hallsystemstatusinmathematicalmethodwithoutomitting．Byusingtheverificationtool，analysisprocesscartbeconductedautomaticallyandthedependenceofexperiencescanbereduced．Modelcheckingisintroducedintoaircraftsystmnsafetyanalysisinthispaperanditsapplicationprocessispresenteda$well．

5、ThewheelbrakesystemintheappendixofSAEARP4761istakena8aⅡexample．WithverificationtoolNuSMV，theminimumfailurecombinationwhichleadtothetopeventcanbegotautomatically，thepurposeoffaulttreeanalysiscanbeachievedatthesametime．Keywords_．aircraftsystem；safetyanalysis；modelchecking；NuS

6、MV机载系统是现代飞机的重要组成部分，重要的适航标准均在第1309条对机载系统的安全性提出了明确要求，并指出必须通过分析来表明对该条款的符合性jl-41。研究发现，故障树分析(faulttreeanalysis，FrA)等传统安全性分析方法，主要依靠分析人员的技能和经验，受人类认知能力的限制，难以预测系统所有可能的行为(包括正常和异常行为)，容易疏漏某些系统失效状态或者误判系统失效的影响，不适用于当前高度复杂与综合的机载系统，经过评估的个别系统仍发生了未曾预料的失效四。为此，2001年开始将计算机学科形式化验证中的模型检验(modelchec

7、king)弓I入复杂机载系统的安全性评估领域{叼。基于模型检验的飞机系统安全性分析方法，利用遍历算法，既可以从数学上保证搜索出系统的所有状态，不会发生疏漏；又可以利用计算机工具运行算法，自动实现FTA分析目的，减少对分析人员技能和经验的依赖。目前，基于模型检验的方法已成为复杂机载系统安全性分析的发展趋势之一。欧盟在过去10余年间先后完成了ESACS(enhancedsafetyassessmentforcomplexsystems)‘6J和ISAAC(improvementofsafetyactivitiesOilaeronauticalco

8、mplexsystems)[71两个项目，目前正在进行M1SSA(moreintegratedsystemssafetyassessment)【8‘明项目，美国航空