系統(tǒng)安全性建模和交叉驗證研究.pdf

1、我們生活在一個由系統(tǒng)和風險構成的世界里，尤其是隨著科學技術的不斷發(fā)展，特別是計算機技術、電子技術的飛速發(fā)展，航空航天、核電站、高鐵等現代系統(tǒng)的性能大大提高，結構也變得越來越復雜，成本也越來越高。一旦發(fā)生意外，將造成極大的人員傷亡、財產損壞和環(huán)境破壞。因此對其進行系統(tǒng)安全性分析是十分必要的。
　　通過安全性分析識別、消除或者控制、記錄危險，將危險控制在可以接受的范圍內，可以避免潛在的事故造成的嚴重損失。功能危險性分析(FHA)及初步

2、危險性分析(PHA)是早期安全性分析的首選，但 FHA分析及 PHA分析需要收集、處理、反饋大量的資料、數據及相關資料信息。如果不借助計算機輔助工具，則會需要大量人工工作的投入，也可能存在很多重復性工作，而且還可能因人員的經驗不足、人為的分析疏忽和人腦處理大量數據的有限能力，從而造成遺漏或產生錯誤。
　　針對傳統(tǒng)的PHA和FHA方法存在的容易遺漏危險和控制措施，以及人工進行安全性分析的易錯和效率低下等問題，文章研究一種PHA和FH

3、A結合的交叉驗證方法，基于此方法設計和開發(fā)了可視化的系統(tǒng)安全性自動建模和分析工具，并在具有典型安全性要求的系統(tǒng)中進行了示例應用。
　　文章首先介紹了系統(tǒng)安全性的國內外現狀及發(fā)展趨勢；其次介紹了系統(tǒng)安全的相關概念；接著介紹了FHA、PHA及交叉驗證方法，從功能、危險兩個角度，對整個系統(tǒng)進行安全性分析，從而達到避免或減少危險的目的，使功能更加完善，使危險得到充分控制，以增加系統(tǒng)的安全可靠性；然后根據以上研究內容實現了系統(tǒng)安全性分析及交

4、叉驗證工具，該工具支持可視化和圖形化的功能結構建模、FHA分析和匯總、PHA建模、分析和匯總、獨立驗證、交叉驗證、危險數據庫等功能；最后利用工具對飛機起落架系統(tǒng)開展了安全性分析與驗證工作。
　　結果表明從FHA的功能分析和PHA的危險分析兩個角度進行自動化建模、分析和交叉驗證，可解決傳統(tǒng)的單向分析易發(fā)生的遺漏問題，達到查漏補缺的目的。同時工具具有良好的人機交互界面，方便的圖形化建模功能，可以提高系統(tǒng)安全性的建模和分析能力、工作效率