astah* System Safety利用イメージ
MBSE・安全分析から論証のサンプル

アジェンダ

• 開発対象システムを明らかにする
  (ブロック定義図、内部ブロック図、ユースケース図、シーケンス図、要求図、要求表)
• システムの安全性を分析する
  (STPAのアクシデントハザード安全制約表、コントロールストラクチャー図、UCA表、ロスシナリオ表、対策表、SysMLの要求図)
• 安全設計を記述する
• 安全設計の整合性を確認する
  (ブロック定義図、アクティビティ図、ステートマシン図)
• 各専門分野の技術者視点での要求を記述する(ブロック定義図、内部ブロック図、パラメトリック図)
• 安全性についての論証をする(GSN)
• まとめ