SDM公開講座「現代ソフトウエアエンジニアリングの俯瞰図」
の第15回
高信頼設計を実現するモデルベース開発
を聞いてきたのでメモメモ
平成２３年度も出るベース開発技術部会
・統合システムモデリング技術ＷＧ
・ユーザーモデリング技術ＷＧ
・消費者機械安全標準化ＰＴ
統合システムモデリングＷＧ
・代表的なモデリング手法を検討
ＭＤＤ
ＭＢＤ
・ＭＤＤとＭＢＤの統合
→ソフトウェアだけでなんとかなるものではない
→システムズエンジニアリング
２０１２年度部会構成
システムズエンジニアリング
・システムエンジニアリングは聞いたことある
→混同されがち
→勘違いされがち
現在のシステム開発の特徴
・あらたなエンジニアリング領域への対応
・機能安全（ディペンダビリティ）
ＩＥＣ６１５０８、ＩＳＯ２６２６２
→２年後、規格とってナイト、自動車欧州に輸出できなくなる
・環境工学
・ＱＣＤＳＥ
現在のシステム開発の特徴（２）
・大規模複雑化の加速
・統合システム（Ｓｙｓｔｅｍ－ｏｆ－Ｓｙｓｔｅｍ）
システム開発の課題
・エンジニアリング領域の拡大と大規模複雑化
→ドキュメントの増加
・効果的な記述言語とコミュニケーション方法
モデルの導入
ＭＢＳＥ（Ｍｏｄｅｌ Ｂａｓｅｄ Ｓｙｓｔｅｍｓ Ｅｎｇｉｎｅｅｒｉｎｇ）
導入のためのマップ
ＭＢＳＥ
モデルを活用したシステムズエンジニアリング
ＳｙｓＭＬ
ＭＢＳＥの基本構造
検証モデル
↑ アシュアランスモデルも？
要求・制約→対象モデル→構成要素モデル
↓
分析モデル
ＭＢＳＥのスコープ
Ｓｙｓｔｅｍ ｏｆ Ｓｙｓｔｅｍ
Ｓｙｓｔｅｍ
エレメント（ハードソフト）
コンポーネント
Ｄｕａｌ Ｖｅｅ Ｍｏｄｅｌ
それぞれのレベルでＶ（必要な開発と検証）
Ｓｙｓｔｅｍ Ｏｆ Ｓｙｓｔｅｍレベル
システムに分割
複数のシステムがくみあわさった
Ｓｙｓｔｅｍレベル
ハードとソフトにわけていく
エレメント（ソフトウェア）レベル
ＭＢＳＥの手順
要求・制約
ユースケースモデル
相互作用、振る舞い
オントロジー
ＨＷとＳＷの分割モデル
システムレベルのＳｙｓＭＬ４本柱
構造
振る舞い
要求
パラメトリック
数式
運動方程式
オープンモデリカでじっこう
パラメトリックとシミュレーション
ＥＡ→シミュレーション
ＳｙｓＭＬとトレードオフ
ＭＢＳＥの利点
・要件ヤッケ意の共通理解が容易
・複雑なシステム設計過程の管理が容易
・設計品質が向上
・早い段階から継続的にＶ＆Ｖでリスク低減
・ライフサイクルを通じて価値を提供
・モデルにより知識の獲得が容易」
→形式手法連携（ＳＰＩＮに持っていったりとか）できる
→粒度を決めておかないと・・・
→ツールをどう組み合わせていくか
ＩＰＡにピーターホフマンがきた。
ステークホルダーにとって
早い段階で意識あわせ
ほしいものを明確にしてくれる
成果物を作る手順が明確になる
日本の減少
ＥＳＥＣ２０１２のＩＰＡブースアンケート
２／３がＳｙｓＭＬを使っている
ビューポイントとビュー
アイデアや要求、制約を扱う
idea view
システムの使い方や運用方法などを扱う
機能の構造や振る舞いを定義する
構成要素への分割を定義する
Dependanbility Assuranceを扱う
Safety view
MBSEの４＋１ビュー
代表的なＭＢＳＥ手法
・汎用的なもの
ＲＵＰ Ｆｏｒ ＳＥ
ＨａｒｍｏｎｙＳＥ（ＭｂＳＥ）
ＯＯＳＥＭ
・ドメインを明確
ＥＡＳＩＳ 自動車
ＡＳＳＥＲＴ高信頼性システム
ＧＥＮＥＳＹＳ クロスドメイン
本
英語の本
システムズモデリング言語ＳｙｓＭＬ
Ｉｄｅａ Ｖｉｅｗの考え方
アイデアから要求は難しい
指向からのトレーサビリティ
マインドマップによる指向の構造化
ＧＳＮによるゴールの構造化
要求図による要求の構造化
ステークホルダー要求の場合
ステークホルダー要求マップ→ニーズに近い
マインドマップによる指向の構造化
ＧＳＮによるゴールの構造化
Safety Viewも同様
ハザード分析結果
マインドマップによる指向の構造化
ＧＳＮによるゴールの構造化
要求からユースケースへ
構造化された要求～ユースケースを導く
ここから先はＯＯＳＥＭやＨＡＲＭＯＮＹ ＳＥでも
ＧＳＮからユースケースへ
名古屋の高田先生は、
あまりこまかいことをやると、とんでもないことに
→要求を図にあらわすと、とんでもない量に！
ＭｉｎｄＭａｐの例
スマートグリッド
指向からゴールへ
Ａｓｓｕａｒａｎｃｅ Ｃａｓｅ（ＧＳＮの例）
Ｃｌａｉｍ Ａｒｇｕｍｅｎｔ Ｅｖｉｄｅｎｃｅ
（ＧＳＭ）
ゴール ストラテジー・サブゴール
アシュアランスケース
ディペンダビリティケース
Ｄ－ＣＡＳＥ
セキュリティケース
アシュアランスケースの表記
アシュアランスケースと信頼性評価
ＭＢＳＥ導入マップ
（１）システムズエンジニアリング実施における
モデリングと基本タスクの対応モデル
（２）システムズエンジニアリングを日本の産業界に導入するための
の第15回
高信頼設計を実現するモデルベース開発
を聞いてきたのでメモメモ
平成２３年度も出るベース開発技術部会
・統合システムモデリング技術ＷＧ
・ユーザーモデリング技術ＷＧ
・消費者機械安全標準化ＰＴ
統合システムモデリングＷＧ
・代表的なモデリング手法を検討
ＭＤＤ
ＭＢＤ
・ＭＤＤとＭＢＤの統合
→ソフトウェアだけでなんとかなるものではない
→システムズエンジニアリング
２０１２年度部会構成
システムズエンジニアリング
・システムエンジニアリングは聞いたことある
→混同されがち
→勘違いされがち
現在のシステム開発の特徴
・あらたなエンジニアリング領域への対応
・機能安全（ディペンダビリティ）
ＩＥＣ６１５０８、ＩＳＯ２６２６２
→２年後、規格とってナイト、自動車欧州に輸出できなくなる
・環境工学
・ＱＣＤＳＥ
現在のシステム開発の特徴（２）
・大規模複雑化の加速
・統合システム（Ｓｙｓｔｅｍ－ｏｆ－Ｓｙｓｔｅｍ）
システム開発の課題
・エンジニアリング領域の拡大と大規模複雑化
→ドキュメントの増加
・効果的な記述言語とコミュニケーション方法
モデルの導入
ＭＢＳＥ（Ｍｏｄｅｌ Ｂａｓｅｄ Ｓｙｓｔｅｍｓ Ｅｎｇｉｎｅｅｒｉｎｇ）
導入のためのマップ
ＭＢＳＥ
モデルを活用したシステムズエンジニアリング
ＳｙｓＭＬ
ＭＢＳＥの基本構造
検証モデル
↑ アシュアランスモデルも？
要求・制約→対象モデル→構成要素モデル
↓
分析モデル
ＭＢＳＥのスコープ
Ｓｙｓｔｅｍ ｏｆ Ｓｙｓｔｅｍ
Ｓｙｓｔｅｍ
エレメント（ハードソフト）
コンポーネント
Ｄｕａｌ Ｖｅｅ Ｍｏｄｅｌ
それぞれのレベルでＶ（必要な開発と検証）
Ｓｙｓｔｅｍ Ｏｆ Ｓｙｓｔｅｍレベル
システムに分割
複数のシステムがくみあわさった
Ｓｙｓｔｅｍレベル
ハードとソフトにわけていく
エレメント（ソフトウェア）レベル
ＭＢＳＥの手順
要求・制約
ユースケースモデル
相互作用、振る舞い
オントロジー
ＨＷとＳＷの分割モデル
システムレベルのＳｙｓＭＬ４本柱
構造
振る舞い
要求
パラメトリック
数式
運動方程式
オープンモデリカでじっこう
パラメトリックとシミュレーション
ＥＡ→シミュレーション
ＳｙｓＭＬとトレードオフ
ＭＢＳＥの利点
・要件ヤッケ意の共通理解が容易
・複雑なシステム設計過程の管理が容易
・設計品質が向上
・早い段階から継続的にＶ＆Ｖでリスク低減
・ライフサイクルを通じて価値を提供
・モデルにより知識の獲得が容易」
→形式手法連携（ＳＰＩＮに持っていったりとか）できる
→粒度を決めておかないと・・・
→ツールをどう組み合わせていくか
ＩＰＡにピーターホフマンがきた。
ステークホルダーにとって
早い段階で意識あわせ
ほしいものを明確にしてくれる
成果物を作る手順が明確になる
日本の減少
ＥＳＥＣ２０１２のＩＰＡブースアンケート
２／３がＳｙｓＭＬを使っている
ビューポイントとビュー
アイデアや要求、制約を扱う
idea view
システムの使い方や運用方法などを扱う
機能の構造や振る舞いを定義する
構成要素への分割を定義する
Dependanbility Assuranceを扱う
Safety view
MBSEの４＋１ビュー
代表的なＭＢＳＥ手法
・汎用的なもの
ＲＵＰ Ｆｏｒ ＳＥ
ＨａｒｍｏｎｙＳＥ（ＭｂＳＥ）
ＯＯＳＥＭ
・ドメインを明確
ＥＡＳＩＳ 自動車
ＡＳＳＥＲＴ高信頼性システム
ＧＥＮＥＳＹＳ クロスドメイン
本
英語の本
システムズモデリング言語ＳｙｓＭＬ
Ｉｄｅａ Ｖｉｅｗの考え方
アイデアから要求は難しい
指向からのトレーサビリティ
マインドマップによる指向の構造化
ＧＳＮによるゴールの構造化
要求図による要求の構造化
ステークホルダー要求の場合
ステークホルダー要求マップ→ニーズに近い
マインドマップによる指向の構造化
ＧＳＮによるゴールの構造化
Safety Viewも同様
ハザード分析結果
マインドマップによる指向の構造化
ＧＳＮによるゴールの構造化
要求からユースケースへ
構造化された要求～ユースケースを導く
ここから先はＯＯＳＥＭやＨＡＲＭＯＮＹ ＳＥでも
ＧＳＮからユースケースへ
名古屋の高田先生は、
あまりこまかいことをやると、とんでもないことに
→要求を図にあらわすと、とんでもない量に！
ＭｉｎｄＭａｐの例
スマートグリッド
指向からゴールへ
Ａｓｓｕａｒａｎｃｅ Ｃａｓｅ（ＧＳＮの例）
Ｃｌａｉｍ Ａｒｇｕｍｅｎｔ Ｅｖｉｄｅｎｃｅ
（ＧＳＭ）
ゴール ストラテジー・サブゴール
アシュアランスケース
ディペンダビリティケース
Ｄ－ＣＡＳＥ
セキュリティケース
アシュアランスケースの表記
アシュアランスケースと信頼性評価
ＭＢＳＥ導入マップ
（１）システムズエンジニアリング実施における
モデリングと基本タスクの対応モデル
（２）システムズエンジニアリングを日本の産業界に導入するための
アクセス
トータル
ランキング
