中国民航大学学报
中國民航大學學報
중국민항대학학보
JOURNAL OF CIVIL AVIATION UNIVERSITY OF CHINA
2012年
2期
17-20
,共4页
吴海桥%刘超%葛红娟%王华伟
吳海橋%劉超%葛紅娟%王華偉
오해교%류초%갈홍연%왕화위
飞机系统%安全性分析方法%模型检验%NuSMV
飛機繫統%安全性分析方法%模型檢驗%NuSMV
비궤계통%안전성분석방법%모형검험%NuSMV
传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响.模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏；又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖.将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的.
傳統的安全性分析方法,受到分析人員自身技能和經驗等因素的影響,容易疏漏繫統的失效狀態或誤判失效的影響.模型檢驗利用遍歷算法,既可以從數學上保證搜索齣繫統的所有狀態,不會髮生疏漏；又可以利用計算機檢驗工具,實現自動分析過程,減少對分析人員技能和經驗的依賴.將模型檢驗引入飛機繫統安全性領域,提齣瞭一種基于模型檢驗的安全性分析方法,以SAE ARP 4761標準附錄中的機輪剎車繫統為例,利用模型檢驗工具NuSMV對其安全性進行瞭分析,自動識彆齣導緻某繫統頂事件髮生的最小失效組閤,完成瞭傳統故障樹分析的目的.
전통적안전성분석방법,수도분석인원자신기능화경험등인소적영향,용역소루계통적실효상태혹오판실효적영향.모형검험이용편력산법,기가이종수학상보증수색출계통적소유상태,불회발생소루；우가이이용계산궤검험공구,실현자동분석과정,감소대분석인원기능화경험적의뢰.장모형검험인입비궤계통안전성영역,제출료일충기우모형검험적안전성분석방법,이SAE ARP 4761표준부록중적궤륜찰차계통위례,이용모형검험공구NuSMV대기안전성진행료분석,자동식별출도치모계통정사건발생적최소실효조합,완성료전통고장수분석적목적.
