AADL Inspector 故障樹安全分析模塊

故障樹是一種在系統安全性和可靠性研究中應用廣泛的工程技術。這種方法，也稱爲故障樹或錯誤樹，是指以圖形表示可能發生的使預先定義的不受歡迎的事件發生的組合。所以故障樹是由連續的層次構成的，並通過邏輯門聯繫在一起的事件。通過採用這個表達式和演繹邏輯(從效果到原因)和閱讀的布爾式邏輯一是乾淨的，可以從不受歡迎的事件的起因追溯到基本的、獨立的和可預見的事件。 爲適應AADL建模領域對複雜系統運行安全性的研究

>>阅读原文<<