通過設計確保安全

Astah System Safety是一種用於安全關鍵系統的建模工具，支持使用STAMP/STPA、SysML、SCDL和GSN進行系統架構建模、系統安全評估和分析。

這適用於具有與SOTIF和ISO 26262相容的自動駕駛汽車的汽車領域行業，以及安全性能至關重要且對採用基於模型的系統工程感興趣的航空航太、鐵路、國防、機器人和醫療保健行業（MBSE）。

SysML圖

Astah System Safety的SysML支持比“Astah SysML”提供的更先進，包括合併和比較項目檔案、XMI導入/匯出以及與Dassault Systèmes的Cameo Systems Modeler集成等功能。

• 塊定義圖（BDD）
• 內部框圖（IBD）
• 參數圖
• 需求圖/錶
• 用例圖
• 活動圖
• 狀態機圖
• 時序圖

STAMP / STPA

STAMP（System-Theoretic Accident Model and Processes）是麻省理工學院Nancy Leveson教授開發的基於系統理論的事故因果關係模型，STPA（System-Theoretic Process Analysis）是基於STAMP的科技。 Astah System Safety為您的STPA分析過程提供了以下圖表和表格。

• 控制結構圖
• 前提條件錶
• 控制回路圖
• UCA（不安全控制動作）錶
• 損失情景錶
• 對策錶
• 事故危害安全約束錶
• CS（組件結構）全視圖

SCDL

SCDL（安全概念描述語言）是安全概念符號研究組定義的安全架構設計語言。

Astah System Safety支持SCDL介紹的圖表之一：

• 安全概念圖

GSN（目標結構符號）

您可以使用Goal Structuring Notation和D-Case來視覺化安全論據，這些D-Case可有效地用於建立共識和實現問責制。

• GSN（目標結構符號）/ D-Case

我們還有另一比特專用於GSN的編輯器，僅稱為“Astah GSN”。 Astah System Safety包括Astah GSN的所有功能。

為什麼選擇Astah系統安全？

Astah最初由日本公司ChangeVision在2006年創建，作為UML建模工具。 該軟件已經發展到包括六種不同的工具，每一種都旨在通過吸收超過15年的用戶回饋來滿足不同的製圖需求。 Astah System Safety是我們為安全關鍵系統自豪地推出的最新產品。

Astah通過啟用模型轉換來結合STPA和SysML，這有助於您通過直接使用SysML塊創建組件等來構建STPA分析。 通過在項目中處理相同的模型將保持一致性，並且在整個分析過程中一切都可以輕鬆追跡。

支持SysML模型的XMI導入/匯出，這使您能够從Cameo Systems Modeler加載數據。 您還可以添加OMG XMI 2.5格式設定檔。