Astah GSNが、ＵＭＬ、SysMLと連携してほしい人！ － いっぱい！！
第五回D-Case研究会
http://www.dcase.jp/study05.html
に行って来た。その内容の前半をメモメモ
はじめに
・国立情報学研究所＝石川先生のおかげ
・石川先生のご挨拶、連絡事項
・今日のアジェンダ
■Ｄ－Ｃａｓｅのこれから
Ｄ－Ｃａｓｅ導入の経緯
・ＤＥＯＳ：ＯＳを作るプロジェクト
→アシュアランスケース
共通して理解するなにか
・アシュアランスケース、セーフティケース
十分にディペンダブルであることを
提供する構造化された証拠ドキュメント
・アシュアランスケース、セーフティケース
不完全さを確認し、システムのディペンダビリティを合意
・Ｄ－ＣＡＳＥの目指した方向性
研究成果
・ディペンダビリティ・合意形成
→本
Ｄ－ＣＡＳＥエディタ
開発と実証
実証実験：いろいろ
国際標準化
・ディペンダビリティをすりあわせで
→ＩＰＡなど
Ｄ－ＣＡＳＥの課題 ここでは２つ
・Ｄ－Ｃａｓｅのスケーラビリティ
→Ｄ－Ｃａｓｅのモジュール化
・Ｄ－Ｃａｓｅの再利用
→Ｄ－Ｃａｓｅのパターン化
ＧＳＮパターン
GSN Pattern
→木構造：パラメータ
ループの導入
Ｄ－ＣＡＳＥのパターン
・Ｈａｚａｒｄ Ａｖｏｉｄａｎｃｅ Ｐａｔｔｅｒｎ
アシュアランスケースを形式的に定義
ＧＳＮパターンをツールから利用可能にした
■D-CaseとSysMLの連携
連絡事項：DEOSが今月まで→閉鎖→ホームページもお引越しするよ！
１．はじめに
組み込みシステム開発における問題
・開発の現状
ソースコードベース
上流工程の仕様書が作成されない、更新されない
→証跡として残っていない
・解決のアプローチ
D-Case Driven Development With SysML手法
・問題を解決する手法
Ｄ－ＣＡＳＥによる課題の解決
議論分解
関連付け
証跡追加
・Ｄ－ＣＡＳＥの議論分解パターン
脅威の明確化
脅威の発生シーンの明確化
原因の明確化
対策の明確化
・Ｄ－ＣＡＳＥに基づく正確な設計仕様の策定
要求図
ブロック図
パラメトリック図
シミュレーション図
・検証結果の確認
・D-Case Driven Development With SysMLを
実現する開発環境
ＯＳＬＣ連携アドオン
具体例
ＩＳＯ２６２６２に準拠した車載システムへの適用
開発フロー
・アイテムの定義
トップゴールの設定
ディペンダビリティへの脅威の明確化
・ハザードの認識
脅威の発生シーンの明確化
・機能安全要求に基づく分解
原因の明確化
対策の明確化
・技術安全要求に基づく分解
対策の明確化
・検証結果による保証
検証結果による保証
■DEOS要求マネジメント
・アシュアランスケースとＧＳＮ
→２００９年８月
・ＳＴＡＭＰ リーブソン
・議論パターンポケットガイド
アシュアランスケース入門（ＣＤ）
・ディペンダビリティ
→ＪＩＳで標準化されている
・要求ママネジメント条件
・要求状態管理モデル
抽出
合意
通常運用
逸脱
・システム継続性制御
→ディペンダビリティ制約
コントロールする
・要求管理技法
ディペンダビリティ制御マップ
サービス合意形成カード
サービスリスク分類構造
サービスリスク管理表
リスク分析活動
・システムの動作シナリオ
→システムリスク：全部
・Ｄ－ＣＡＳＥの全体構成例
→Ｄ－ＣＡＳＥパターン
→議論パターンポケットガイド
・議論分解パターン
説明対象システム
説明対象に関係
証拠の構造に起因する
Ｄ－ＣＡＳＥの再利用に起因する
・ＳＴＡＭＰ階層的制御構造
なんしーりーぶそんさんたち
Parnasの変数モデル
・ソフトシステム方法論 再考 その１
→８年前
・チェックランドの形式システムモデルの構造
・ソフト・システム・方法論→ソフト：人間、社会的
・システム論の制御条件
・ゴール条件
・活動条件
・モデル条件
・観測条件
・Ｗｅｂサイト管理のセキュリティ要求分析
・システム論的ＤＥＯＳプロセス
・安全性分析手法の統合化
システム論的制御構造 ＳＴＡＭＰ、ＳＴＰＡ
高信頼性要求アーキテクチャ ディペンダビリティ保証ケース
システム物理構造 ＦＴＡ，ＦＭＥＡ，ＨＡＺＯＰ
■astah* GSN ご紹介
・astah製品ラインナップ
・ブラジルのユーザーが多い
http://astah.net/editions/gsn
コミニティスタンダードに忠実に
http://astah.net/editions/gsn/download
・みどころ
コミニティスタンダードに忠実に
横に線を引くーコンテキスト用
下に線を引くー普通のせん
参照でハイパーリンク
ＸＭＩ
夏ごろ発売
質問：
UML連携できる？
いまのところできないけど、
ＳｙＳＭＬと連携した話を平鍋さんが話していく
お値段は？
３万円～７万円の間
＊ノードにアイコンがつく
→Ａｓｔａｈ ＡＰＩでがんばれば取れる
アンケート
・ＦＴＡと連携してほしい人：すこし
・ＨＡＺＯＰと連携してほしい人：すこし
・FMEAと連携してほしい人：もっとすこし
・ＳｙｓＭＬ，ＵＭＬと連携してほしい人：いっぱい！
第五回D-Case研究会
http://www.dcase.jp/study05.html
に行って来た。その内容の前半をメモメモ
はじめに
・国立情報学研究所＝石川先生のおかげ
・石川先生のご挨拶、連絡事項
・今日のアジェンダ
■Ｄ－Ｃａｓｅのこれから
Ｄ－Ｃａｓｅ導入の経緯
・ＤＥＯＳ：ＯＳを作るプロジェクト
→アシュアランスケース
共通して理解するなにか
・アシュアランスケース、セーフティケース
十分にディペンダブルであることを
提供する構造化された証拠ドキュメント
・アシュアランスケース、セーフティケース
不完全さを確認し、システムのディペンダビリティを合意
・Ｄ－ＣＡＳＥの目指した方向性
研究成果
・ディペンダビリティ・合意形成
→本
Ｄ－ＣＡＳＥエディタ
開発と実証
実証実験：いろいろ
国際標準化
・ディペンダビリティをすりあわせで
→ＩＰＡなど
Ｄ－ＣＡＳＥの課題 ここでは２つ
・Ｄ－Ｃａｓｅのスケーラビリティ
→Ｄ－Ｃａｓｅのモジュール化
・Ｄ－Ｃａｓｅの再利用
→Ｄ－Ｃａｓｅのパターン化
ＧＳＮパターン
GSN Pattern
→木構造：パラメータ
ループの導入
Ｄ－ＣＡＳＥのパターン
・Ｈａｚａｒｄ Ａｖｏｉｄａｎｃｅ Ｐａｔｔｅｒｎ
アシュアランスケースを形式的に定義
ＧＳＮパターンをツールから利用可能にした
■D-CaseとSysMLの連携
連絡事項：DEOSが今月まで→閉鎖→ホームページもお引越しするよ！
１．はじめに
組み込みシステム開発における問題
・開発の現状
ソースコードベース
上流工程の仕様書が作成されない、更新されない
→証跡として残っていない
・解決のアプローチ
D-Case Driven Development With SysML手法
・問題を解決する手法
Ｄ－ＣＡＳＥによる課題の解決
議論分解
関連付け
証跡追加
・Ｄ－ＣＡＳＥの議論分解パターン
脅威の明確化
脅威の発生シーンの明確化
原因の明確化
対策の明確化
・Ｄ－ＣＡＳＥに基づく正確な設計仕様の策定
要求図
ブロック図
パラメトリック図
シミュレーション図
・検証結果の確認
・D-Case Driven Development With SysMLを
実現する開発環境
ＯＳＬＣ連携アドオン
具体例
ＩＳＯ２６２６２に準拠した車載システムへの適用
開発フロー
・アイテムの定義
トップゴールの設定
ディペンダビリティへの脅威の明確化
・ハザードの認識
脅威の発生シーンの明確化
・機能安全要求に基づく分解
原因の明確化
対策の明確化
・技術安全要求に基づく分解
対策の明確化
・検証結果による保証
検証結果による保証
■DEOS要求マネジメント
・アシュアランスケースとＧＳＮ
→２００９年８月
・ＳＴＡＭＰ リーブソン
・議論パターンポケットガイド
アシュアランスケース入門（ＣＤ）
・ディペンダビリティ
→ＪＩＳで標準化されている
・要求ママネジメント条件
・要求状態管理モデル
抽出
合意
通常運用
逸脱
・システム継続性制御
→ディペンダビリティ制約
コントロールする
・要求管理技法
ディペンダビリティ制御マップ
サービス合意形成カード
サービスリスク分類構造
サービスリスク管理表
リスク分析活動
・システムの動作シナリオ
→システムリスク：全部
・Ｄ－ＣＡＳＥの全体構成例
→Ｄ－ＣＡＳＥパターン
→議論パターンポケットガイド
・議論分解パターン
説明対象システム
説明対象に関係
証拠の構造に起因する
Ｄ－ＣＡＳＥの再利用に起因する
・ＳＴＡＭＰ階層的制御構造
なんしーりーぶそんさんたち
Parnasの変数モデル
・ソフトシステム方法論 再考 その１
→８年前
・チェックランドの形式システムモデルの構造
・ソフト・システム・方法論→ソフト：人間、社会的
・システム論の制御条件
・ゴール条件
・活動条件
・モデル条件
・観測条件
・Ｗｅｂサイト管理のセキュリティ要求分析
・システム論的ＤＥＯＳプロセス
・安全性分析手法の統合化
システム論的制御構造 ＳＴＡＭＰ、ＳＴＰＡ
高信頼性要求アーキテクチャ ディペンダビリティ保証ケース
システム物理構造 ＦＴＡ，ＦＭＥＡ，ＨＡＺＯＰ
■astah* GSN ご紹介
・astah製品ラインナップ
・ブラジルのユーザーが多い
http://astah.net/editions/gsn
コミニティスタンダードに忠実に
http://astah.net/editions/gsn/download
・みどころ
コミニティスタンダードに忠実に
横に線を引くーコンテキスト用
下に線を引くー普通のせん
参照でハイパーリンク
ＸＭＩ
夏ごろ発売
質問：
UML連携できる？
いまのところできないけど、
ＳｙＳＭＬと連携した話を平鍋さんが話していく
お値段は？
３万円～７万円の間
＊ノードにアイコンがつく
→Ａｓｔａｈ ＡＰＩでがんばれば取れる
アンケート
・ＦＴＡと連携してほしい人：すこし
・ＨＡＺＯＰと連携してほしい人：すこし
・FMEAと連携してほしい人：もっとすこし
・ＳｙｓＭＬ，ＵＭＬと連携してほしい人：いっぱい！
アクセス
トータル
ランキング
