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

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

目次

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

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

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

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