概述
ALL4TEC 總部位于法國，成立10 多年來一直致力于為安全工程、系統工程、IT 系統和復雜嵌入式系統的測試提供解決方案。Safety Architect 軟件是該公司開發的實現基于模型的復雜系統安全分析自動化的工具。該軟件能夠基于識別出的危害事件自動生成故障樹，并支持FMEA 的實施，進而對系統安全設計進行指導。
產品介紹
1. Safety Architect—基于模型的安全分析工具
近年來，隨著IEC61508、ARP4754、ISO26262 等標準普及，安全問題越來越得到人們重視。安全分析活動貫穿安全生命周期全過程，工作量大易出錯。Safety Architect 軟件可對復雜系統的功能或物理架構模型進行自動的安全分析工作，大大的減少了安全分析活動的工作量。該軟件的主要功能包括：
.jpg)
• 模型輸入
Safety Architect 提供了與多種模型軟件工具的接口，可以從以下工具中直接導入系統模型：
♦ Papyrus（sysml）
♦ Rational System Architect
♦ Rational Rhapsody
♦ SCADE system
♦ Simulink
• 模型編輯
♦ 用戶即可以通過其他模型軟件導入系統結構，也可以在Safety Architect 中編輯系統結構
♦ 系統結構的編輯為分層模式
• 局部分析
♦ 對單元模塊進行失效模式編輯，以圖形的方式對模塊添加故障事件
♦ 將輸入、輸出的故障傳輸依據邏輯關系進行與、或門連接
♦ 通過Barrier圖標來表示安全機制，清晰明了
• 全局分析
♦ 通過A4T或者Hiphops方法，得出故障在系統中的傳輸路徑
♦ 在傳輸路徑生成過程中進行自檢，確保傳輸路徑（即故障樹）的完整性和正確性
• 報告自動生成
♦ Local Analysis報告
♦ 故障傳輸FTA報告
♦ FMEA報告
.jpg)
• 文檔導出功能
♦ FTA、FMEA等報告均支持Excel、Word等多種格式導出
2. 產品特點
• 安全分析自動化
可自動生成FTA、FMEA 等報告文檔， 且支持Word、Excel 等多種導出格式，極大地減少了安全分析人員的工作量。
.jpg)
• 具有語義自查功能
可自動檢查生成的故障樹的正確性和完整性，避免了人工分析存在的的不全面和主觀性的問題。
• 支持數據復用
器件級至系統級的失效模式均可建庫保存，易復用。
應用& 案例
Safety Architect 軟件可應用于航空、作戰系統、軌道和汽車等領域的復雜電子系統安全分析中。尤其是在國防電子系統基于模型的安全分析應用較多。
