設計による安全確保

Astah System Safetyは、STAMP/STPA、SysML、SCDL、GSNを使用したシステムアーキテクチャのモデリング、システムセキュリティの評価、分析をサポートするセキュリティクリティカルシステムのモデリングツールです。

これは、SOTIFおよびISO 26262と互換性のある自動運転車を有する自動車分野の業界、および安全性が極めて重要であり、モデルベースのシステム工学を採用することに関心のある航空宇宙、鉄道、国防、ロボット、医療保健業界（MBSE）に適している。

SysML図

Astah System SafetyのSysMLサポートは、プロジェクトファイルの統合と比較、XMIインポート/エクスポート、Dassault SystemのCameo Systems Modelerとの統合など、「Astah System ML」よりも先進的です。

1. ブロック定義図（BDD）
2. 内部ブロック図（IBD）
3. パラメータ図
4. デマンドマップ/テーブル
5. ユースケース図
6. アクティビティ図
7. ステートマシン図
8. タイミングチャート

STAMP / STPA

STAMP（System-Theoretic Accident Model and Processes）はマサチューセッツ工科大学Nancy Leveson教授が開発したシステム理論に基づく事故因果関係モデルであり、STPA（System-Theoretic Process Analysis）はSTAMPに基づく技術である。Astah System Safetyは、STPA分析プロセスに次のグラフと表を提供します。

1. 制御構造図
2. 前提条件テーブル
3. 制御回路図
4. UCA（非安全制御動作）テーブル
5. 損失シナリオ表
6. 対策表
7. 事故危害安全制約表
8. CS（コンポーネント構造）全ビュー

SCDL

SCDL（安全概念記述言語）は、安全概念シンボル研究グループが定義する安全アーキテクチャ設計言語である。

Astah System SafetyサポートSCDLで説明されているグラフの1つ：

1. セキュリティ概念図

GSN（目標構造記号）

Goal Structuring NotationとD-Caseを使用して、共通認識の確立と問責制の実現に効果的に使用できる安全論拠を可視化できます。

1. GSN（ターゲット構造記号）／D-Case

GSN専用の別のエディタがあり、「Astah GSN」と呼ばれています。Astah System Safetyには、Astah GSNのすべての機能が含まれています。

なぜAstahシステムセキュリティを選択したのですか。

Astahは、UMLモデリングツールとして2006年に日本の会社ChangeVisionによって最初に作成されました。ソフトウェアは6つの異なるツールを含むように発展しており、いずれも15年以上のユーザーからのフィードバックを吸収することで異なる製図ニーズを満たすことを目的としている。Astah System Safetyは、安全で重要なシステムを誇りに思って発売された最新製品です。

Astahは、モデル変換を有効にすることでSTPAとSysMLを結合し、SysMLブロックを直接使用してコンポーネントを作成するなどしてSTPA分析を構築するのに役立ちます。プロジェクトで同じモデルを処理することで一貫性が維持され、解析全体を通して簡単に追跡することができます。

SysMLモデルのXMIインポート/エクスポートをサポートし、Cameo Systems Modelerからデータをロードできます。OMG XMI 2.5形式のプロファイルを追加することもできます。