astah* System Safety利用イメージ

MBSEと、安全分析から論証のサンプル

MBSEがどのように実現されるか、サンプルを知りたい方、どんな場面でツールが使えるのかを知りたい方に向けて、電気ケトル（電気ポット）の開発プロジェクトを題材に、サンプルモデル図を多数掲載した解説資料を公開しました。

目次

（括弧内は掲載している図や表の名称です）

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

PDF資料とサンプルモデルファイルをまとめたzipファイルをダウンロードいただけます。

[注] サンプルモデルファイルの閲覧には、astah* System Safetyの試用ライセンスが必要です。別途、製品評価をお申込みください。