解説資料 | astah* System Safety利用イメージをご紹介

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

資料ダウンロード

このような方におすすめです
  • MBSEの基本的な流れを学びたい
  • 実際のモデルの使い方を学びたい
  • astah* System Safety専用ツールでどんなことができるのか知りたい
  • モデリングの有効性を学び、現場に広めたい


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

ダウンロードの内容: PDF資料、 サンプルモデルファイルをまとめたzipファイル


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


ダウンロード方法
  • [資料をダウンロード]ボタンを押すと表示されるフォームに必要事項を入力してください
  • ページに遷移しますので資料をダウンロードしてください。
  • フォームご入力メールアドレス宛に、資料ダウンロードページのご案内メールをお送りいたします。


講師
高井 利憲プロフィール写真

高井 利憲
株式会社チェンジビジョン チーフエンジニア / 博士(工学)


1996年、九州工業大学情報工学部知能情報工学科卒。
2001年奈良先端科学技術大学院大学 博士後期課程単位取得認定退学。
ISO/IEC JEC1/SC7/WG7国内委員を務めるとともに、奈良先端科学技術大学院大学にて「システム要求工学」「システムアシュアランス演習」等の講義や演習を担当。