故障樹是一種在系統安全性和可靠性研究中應用廣泛的工程技術。這種方法，也稱為故障樹或錯誤樹，是指以圖形表示可能發生的使預先定義的不受歡迎的事件發生的組合。所以故障樹是由連續的層次構成的，並通過邏輯門聯繫在一起的事件。通過採用這個表達式和演繹邏輯(從效果到原因)和閱讀的布爾式邏輯一是乾淨的，可以從不受歡迎的事件的起因追溯到基本的、獨立的和可預見的事件。
為適應AADL建模領域對複雜系統運行安全性的研究應用，Ellidiss發布了AADL Inspector的新功能：故障樹安全分析模塊。該模塊是Ellidss與Arbre-analyste兩家機構一起研究並推出的，提出以Open-PSA格式和XFTA計算引擎為核心的故障樹安全分析技術，來應對工業項目標準化和可持續性問題。
Open-PSA標準是一種形式化的文本格式，在此次的故障樹安全分析技術中主要用以XML為基礎，促進複雜內容的自動交換（樹、文本）等異構信息，實現模型的完整性與操作性。XFTA是一種故障樹計算引擎，它允許基於OpenPSA格式的模型進行運行安全分析，為一種極好的最小幅度剪切計算算法。XFTA支持從模型的最小範圍開始，實施所有常規概率評估：
當前故障樹安全分析工作的主要問題體現在轉換效率和信息分享上。AADL Inspector的新模塊很好的解決了這兩個問題，它支持多種模式導入的方式，能夠使用戶快速且自由地切換到當前的工作模式中，並可多屏幕安排工作空間；底層的分析器繼承了XFTA運算引擎，從而可以從計算的準備階段就提升軟體的自動執行效率。
該模塊首先對導入的模型進行故障樹分析，並進行了直觀且完整的故障樹展示，尤其對節點之間的連接關係和故障發生率顯示清晰。同時擁有非常豐富的圖表展示，包括融合多種信息的綜合報告、最低削減集合概率計算以及靈敏度計算結果。
用戶可以通過選擇頂層模塊來顯示以其為頂的整個樹形結構。以下圖紅色模塊為例，加粗模塊為其參與的樹形節點。節點包括事件和門。
事件屬性編輯窗口通過單擊上下文菜單的自定義選項出現。它也可以通過選擇事件和按鍵盤輸入或雙擊事件來實現。然後可以修改母門、描述、名稱、概率定律類型，並提供相關的指定參數。
通過Batch Analyses窗口可以選擇分析對象，相應的任務事件和top門及條件，將不同的結果生成Html形式的研究報告。
該模塊同時提供了兩個先進的功能，以改進模型的編輯和管理經驗：
一是高級場景管理，能夠自動改變樹結構和事件參數。
Doc:http://www.arbre-analyste.fr/doc/doku.php/les_scenarios；
二是提供豐富的應用程式接口(API)，用於用戶開發互補模塊。
Modules:http://www.arbre-analyste.fr/doc/doku.php/addons；
DocAPI:http://www.arbre-analyste.fr/doc/doku.php/api。
-版權所有，抄襲必究-
獲取「AADL Inspector」的免費體驗、技術諮詢、商務服務登陸http://www.softtest.cn/ 聯繫我們或在微信帳號後臺留下您的聯繫信息，其他聯繫方式如下：
「以人為本，創新先行」
獲取多資訊▼
閱讀原文訪問網站 點在看，支持旋極科技☟