超入門

システム開発モデリング言語 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

自律ロボットを遠隔操作し、２つの動き (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