基于模型檢驗的飛機系統(tǒng)安全性分析方法研究.pdf

1、傳統(tǒng)的安全性分析方法，受到分析人員自身技能和經(jīng)驗等因素的影響，一定程度上存在容易疏漏系統(tǒng)失效狀態(tài)或誤判失效影響的局限性，因此有必要在飛機系統(tǒng)安全分析領域中引入新方法。模型檢驗方法使用了計算機技術，通過驗證工具列出模型系統(tǒng)的所有狀態(tài)，并能按照邏輯表達式的描述對全部狀態(tài)進行搜索，在得到安全性分析結果的同時能夠降低對分析人員能力的要求。
　　本文研究了模型檢驗理論、計算機實現(xiàn)原理和驗證工具，分析總結了目前通用的飛機系統(tǒng)安全性評估流程和安

2、全性分析方法，剖析了故障樹分析方法流程，指出了其存在的局限性。為此，本文將模型檢驗方法應用到飛機系統(tǒng)安全性分析中。以系統(tǒng)需求規(guī)范為分析起點，給出了一種基于模型檢驗的飛機系統(tǒng)安全性分析流程。
　　根據(jù)前述工作，本文開發(fā)了基于NuSMV安全驗證平臺，平臺使用了數(shù)據(jù)庫技術，建立了基本的元件代碼庫和失效代碼庫，可以幫助用戶快速構建系統(tǒng)模型、生成驗證代碼和知識庫文件。最后以ARP4761附錄中的機輪剎車系統(tǒng)為例，使用模型檢驗方法對其安全性進