Upload
others
View
1
Download
0
Embed Size (px)
Citation preview
超入門
システム開発モデリング言語 SysMLとGSN(D-Case)
株式会社チェンジビジョン
平鍋健児
1
2
≪講演概要≫
システム開発の中で、「モデリング」の占める役割はますます大きくなってきました。
本セッションでは、その中でも、システム全体をモデリングするSysML、および、安全性やセキュrリティの分野で使われて始めた D-Case(GSN)について、入門的な内容をお話します。
3
自己紹介 ㈱永和システムマネジメント
–福井市(本社)、上野東京(支社)
– Ruby と Agileを使ったシステム開発
株式会社チェンジビジョン –福井市(開発部)、上野東京(本社)
– astah* (旧:JUDE) の開発
平鍋健児 – UML+マインドマップエディタ astah*の開発
–要求開発アライアンス、理事
–翻訳、XP関連書籍、『リーン開発の本質』 『IMPACT MAPPING』等多数。
–著書『アジャイル開発とスクラム』、『要求開発』 『ソフトウェア開発に役立つマインドマップ』
モデリング技術を概観する
4
5
情報システム 組込みシステム
物
メカCAD ECAD
制御
ソフトウェア
UML (離散系/
情報系) Simulink(連続系/制御系)
UML,ER, DFD,BPMN.. (データ,プロセス,..)
システムのモデリング言語
SysML(要求、構造、振舞、制約) SysML(統合系)
システム/SoS
SysML(要求、構造、振舞、制約)
アシュランス
GSN(D-Case) 保証議論
SafeML(安全+設計情報)
SCDL (ISO26262の
安全コンセプト)
2
4
3
1
SysML (Systems Modeling Language
MBSEの言語)
6
1
SysMLの4つの柱
7 http://www.omgsysml.org/より引用
1. 構造 2. 振る舞い
4. パラメトリック 3. 要求
SysMLとUML
8
分類 UML SysML
要求 ー 要求図
振る舞い
ユースケース図 ユースケース図
アクティビティ図 アクティビティ図(拡張)
ステートマシン図 ステートマシン図
シーケンス図 シーケンス図
コミュニケーション図 ー
相互作用概要図 ー
タイミング図 ー
構造
パッケージ図 パッケージ図
クラス図 ブロック定義図
オブジェクト図 ー
合成構造図 内部ブロック図
コンポーネント図 ー
配置図 ー
パラメトリック ー パラメトリック図
SysMLは、UMLよりコンパクト
SysMLを使ったRTCベースの ロボットアプリケーション開発 : 事例ケースタディとデモ
平鍋健児(Change Vision, Inc) 安藤慶昭(産総研)
一昨年OMGで発表された事例。 http://www.slideshare.net/hiranabe/using-sysml-in-an-roboti-application
自律ロボットを遠隔操作し、2つの動き (Spiral と Back-and-
Forth) をさせる。Operatorは自律
モードとデモモード切り替えることができる。
ハードウェアアーキテクチャはあらかじめ決まっている。PCを乗せたRoombaを、Wi-Fi通信で、Kinectを使ってモードスイッチする。
問題記述
kinect
Operator Controller PC
Receiver PC
Roomba
Wi-Fi
req [コア要求(問題文)]
req [Robotへの要求]
uc [デモユースケース]
bdd [コンテキスト図]
bdd [システム概要]
ibd [デモシステム]
ibd [controller物理構造]
問題 1
• SysML の4つの柱は、
1.構造
2.振る舞い
3.要求
4.パラメトリック
18
Assurance Case GSN/D-Case
(Goal Structuring Notation ゴール指向で議論を記述)
19
2
20
DEOS Process DEOS: The Open Groupで標準化
21 出典: DEOS協会 http://deos.or.jp/technology/process-j.html
GSNの記法と例
GSN(D-Case)
• ある「主張」を行うための議論構造をグラフィカルに表現した図(Goal Structuring Notation)
• ヨーク大学 Tim Kelly の研究。
• セーフティケースを記述する手法として利用される。
• ノードとして、「ゴール」(主張)、「戦略」、「コンテキスト」、「ソリューション」(証拠)、などがある。
• ゴールをサブゴールに分割し、ソリューション(証拠)と結んで立証する。
• Safety 以外にも Dependability やSecurity を Assure する用途に使えるので、 「Assurance Case」と総称する。
• D-Case: GSNを拡張し、デペンダビリティケースを表現する、DEOSで開発された記法
セキュリティにGSNを利用する例
24 Copyright (C) 2014 Change Vision Corporation. All Rights Reserved.
• DHS(米国国土安全保障省)のリソース
GSNによるセキュリティ(1)
25
GSNによるセキュリティ(2)
26
問題 2
• GSN(D-Case) において、前提となる知識や標準、外部文書を指し示すノードは何か?
1. ゴール(Goal)
2. 戦略 (Strategy)
3. 文脈 (Context)
4. 証拠(Evidence/Solution)
27
Are You Modeling?
(現代モデリング技術の情報源)
28
29 http://areyoumodeling.com
30 http://ja.areyoumodeling.com