ソフトウェア開発のモデリングはどう進化したら効果的なのか？
過去を振り返りながら、皆で議論提案してみよう！
2016-8-26

第18回 組込みシステム技術に関するサマーワークショップSWEST18

アイシン・コムクルーズ㈱ suzumura-nobuyasu@aisin-comcruise.com 鈴村延保

1

はじめに
ソフトウェア開発のモデリングはどう進化したら効果的なのか？
過去を振り返りながら、皆で議論提案してみよう！
仕様書などシステム記述やシステムズエンジニアリング目的の sysML、制御/シミュレーションに注目したMatlab/Simulink の MBD、ソフトウェア設計表現のしやすさに注目した UML の MDD などモデルベース設計は着実に主流になっています。
一方でこれらの標準モデリングの基本はというと、10年前に提案されてから大きく変わっていません。
パラダイムシフトは10年毎に起きていて、技術変化がどんどん早くなっている現在、いろいろなモデリングの補完/新規提案も始まっています。
考えることは世界同じで、タイミングよく sysML が 2.0 への改定に ＯＭＧ が昨年後半から動き出しました。
① それらの経緯と近況を俯瞰しましょう
1-1 モデリングの歴史を振り返ります1-2 sysML 2.0 の提案や課題認識をみてみましょう
1-3 その他で最近提案されているモデリングを俯瞰してみましょう② 皆さんと背景や課題(モデリングの長所、短所、限界）を考えてみます③ これからはこれが良い！と思うモデリングを皆さんで議論したいと思います
2

自己紹介

はじめに

広島大学/工学部電子工学科卒 アイシン精機入社後2014年 アイシン・コムクルーズへ












4ビットマイコンの時代から自動変速機やアクテイブ・サスペンション,ＡＢＳ,ＥＳＣ等のコンンピユータ、
関連するハード、ＩＣ設計、実装技術の開発・製品化に従事。 その後開発比重の高くなったソフト
ウェア課題に取り組む。 機能安全は、その延長で取り組んで現在に至る。 現在はクリチカル
システムの効率的開発やＡＳＥＡＮ連携が関心事。

個人的には、パソコンオタク、コンパイラマニア、古代歴史マニア
九州工大 産官学連携講座 非常勤講師 （’08～）
新エネルギー・産業技術総合開発機構ＮＥＤＯ 新技術調査委員 ：ＩＴベンチャー応援団（’14～）
IPA高信頼性部会委員（’14～）、ET/IoT2015/16実行委員(’15～）、オートモテイブソフトウェアフロ
ンテイアフォーラム実行委員(’15～）
ＮＥＤＯ 生活支援ロボット実用化プロジェクト第２期 アイシンコンソ 准代表＆研究員（’11～’13）
自動車技術会 電子・電装部会/電子機能対応分科会 ISO26262規格審議委員 (‘8-’13)
経済産業省委託 海外自動車電子化調査ＷＧリーダ等
「平成18年度 Jaspar委託調査 Autosar周辺調査」
「平成19-24年度 （財)JARI ITS規格化事業/ITS自動車の電子化に係る欧州調査」
地域コンソーシアムプロジェクト活動参加 （経済産業省助成）

自動車統合制御用組込みＯＳの開発’05～

機能安全対応自動車制御用プラットフォームの開発‘06～
形式的仕様記述を用いた高信頼ソフト開発プロセス研究とツール開発’10～
故障未然防衛機能を有す高信頼ソフトウェアプラットフォームの開発’10～
高度IT 融合社会を支える次世代自動車用セキュリティ・ゲートウェイ・ECU の開発 ’14～

農業機械の次世代電子制御ソフトウェア基盤の開発
’14～

3

はじめに

進め方


初めに

10分



モデリングの歴史を振り返る

10分 休憩



sysML 2.0 の提案や課題認識をみてみる

10分

最近提案されているモデリングを俯瞰してみる 10分 休憩







皆で背景や課題（モデリングの長所、短所、限界）を考えてみる
10分
これからはこれが良い！と思うモデリングを皆で議論してみる
10分
まとめ

10分

4

この機会だから試してみよう！

はじめに（脳はあなたの思いを支援する方向に動く）（30分集中して、さっと休憩）（思い立ったら、まず行動、作って考える）（①心で思い、②声にだし、③体を動かし顕す）

ポジテイブシンキング
ポモドーロテクニック
デザイン思考願いを実現する空海メソド
トップダウンシンキング
ボトムアップシンキング
タグ付けシンキング

言霊（ことだま）思想(人工知能/デイープラーニング/脳科学の時代なので、温故知新いろいろ関心を持ってみよう）













（すべて肯定から思考構築を始める、今日はこれ）(すべて否定し、納得した物だけ脳内思考構築）（情報に納得度のタグをつけ取り込んでいく、
ﾆｭｰﾗﾙﾈｯﾄﾜｰｸ的思考とも言える Best!）

本をたくさん読みましょう！ Ｗｅｂから情報をインプットしましょう！ わからなくてもタグ付けして頭に溜め込みましょう！ 解らなかったら何度も読みましょう！
頭の中がもやもやすることこそ、エンジニアの成長に必要！ そのためによく理解できていない情報が大量に頭の中に存在することが効果的！
行動、経験がフィットすると “あっ、あのことか！” という感動に！
5

1 モデリングの歴史を振り返るモデリング とは？



Ｃ、Ｊａｖａ言語があるじゃないか！

モデリングにすると、なぜ良いのか？



モデリングの、そもそもの注意点6モデリング とは？
UML と、Matlab/Simulink、sysML• 仕様書などシステム記述やMBSEシステムズエンジニアリング目的の sysML、(Model Based Systems Engineering)• 制御/シミュレーションに注目したMatlab/Simulink の MBD(Model Based Development)、• ソフトウェア設計表現のしやすさに注目した UML の MDD(Model Driven Development)

別側面• プログラミングのためのモデリング• 思考を助けるドローイングのモデリング• シミュレーションできるモデリング7

Ｃ、Ｊａｖａ言語があるじゃないか！

欠点が多い）

Ｃ言語の長所と欠点。(

コントロールフロー表現は得意 データフロー表現は苦手 部品化が苦手 階層化が苦手
 アーキテクチャ表現が苦手
 会話型開発、プロトタイピングが苦手 抽象化記述が苦手。
 データの状態属性が苦手（nil概念（Liveness)、mutable、
参照透過性）。


Ｃ言語は40年前 真空管時代に提案された言語（モデリングは、注意をすれば上記を補える）

8

モデリング とは？
UML (MDD) と Matlab/Simulink (MBD)
UML

Ｓimulink

Unified Modeling Language

http://ja.wikipedia.org/wiki/

9

ＭＤＤ と ＭＢＤ(UML
Matlab/Simulink）
表現力は高いが、プログラミングできない、
ドローイングツール

表現力は限られるが、コード
生成、シミュレーションできる（平成23年度モデルベース開発技術部会活動報告書
http://www.ipa.go.jp/files/000026871.pdf）

10システム仕様記述のsysML (MBSE)とソフトウェア設計のためのUML (MDD)
制御記述とシミュレーションのためのSimulink (MBD)

Simulink

http://www.object-report.jp/archive/SysML_Tutorial_2008.pdf

11ヘテロジニアス
ハイブリッド
階層記述が可能

http://www.object-report.jp/archive/SysML_Tutorial_2008.pdf

12

モデリング比較まとめ (参考）ﾍﾃﾛｼﾞﾆｱｽ ﾊｲﾌﾞﾘｯﾄﾞ ｱｰｷﾃｸﾁｬ

振舞い

○
○
○

○
○
○

◎
○
◎

○
△
×

UML

×

×

○UML2
△UML1

○

Modelica

◎

○

○

△*

sysML
Simulink
ADLアーキテ
クチャ記述言語*Modelica is a Modeling Language, not a programming language

13モデリング とは？ まとめ
ＳＹＳＭＬ、Ｍａｔｌａｂ／Ｓｉｍｕｌｉｎｋはヘテロジニアス、ハイブリッドな領域の取り扱
いが便利＝ メカ設計者まで含んだ コミュニケーション可能。

Simulinkは実行可能な仕様書が実現できるといわれる。



ＵＭＬはＥＳＬレベルのツール。エレクトロニクス技術者には良いが、メカを含む
ヘテロジニアスな領域の取り扱いは難しい。(ESL: Electronic System Level)

ＵＭＬはハイブリッド制御システム記述も苦手。



ＵＭＬもヘロジニアス／ハイブリッドな領域へ進化中 （ＵＭＬ２.０やｓｙｓＭＬ）

sysMLはシステムレベルの仕様書をモデリング記述することを目的に標準化された。
今回は昨年から動き出したsysML2.0の動きから、現在システムモデリングで何が必要と考えられているかを、確認します。


14

問題提起

実は仕様書は、なかなか完成していない。
(出来るものでは無い）、さらに仕様書だけでは検証できない？
事例：
仕様書通りのソフトウェアであるが、悪路を走ったら、センサーの誤ダイアグを検出した。


どのくらい悪路を想定しているか、どこかに記載していなければ、検証できない。（根拠）ＵＭＬ、ｓｙｓＭＬは
10年進化していない
ＭＢＤ，ＭＤＤへの要望も広がっている。
1515年前の議論

問題提起

プログラミング記述をさらに抽象化したモデリング（例ＵＭＬ’97標準化）にも欠点があった。


当初ＵＭＬは、ただのオブジェクト指向記述モデリング手法（欧州認識：そのためUML2.0へ改良折込したが不十分）












コントロールフロー表現が苦手（UML2からSDL概念：アクテイビテイ図追加）
データフロー表現が苦手（UML2からコンポジットダイアグラム追加）
部品化が苦手、デザインパターンのみを部品化手段として提供（UML2より コンポ
ジットダイアグラム追加）
階層化が苦手（UML2からコンポジットダイアグラム追加したが不十分）
アーキテクチャ表現が苦手（UML2からコンポジットダイアグラム追加）
ＡＤＬ概念が弱い（UML2からコンポジットダイアグラム追加）
抽象化記述しにくい。 （UML2からメタモデルインフラを追加）
メタプログラミング（ドメイン固有な抽象的な記述）が弱い
プロダクトライン表現が弱い（未対応：EAST-ADLではフィーチャー図を追加）
ヘテロジニアス、ハイブリッド記述が弱い（未対応：sysMLではパラメトリック図を追加）



この理由もあり、MATLAB/Simulinkの応用が拡大している。



ＤＳＭモデリングや依存性表現モデリングも必要で拡大。



最近の状況

さらにプロダクトラインのフィーチャー図、説明能力側面でＧＳＮ、Ｄ-ＣＡＳＥ、シス
16
テム記述でsysML

モデリングの、そもそもの注意点
長所、短所認識：モデリング表記の変遷（過去）
状態遷移図(1/2)

ミーリ・マシン（Mealy
Machine）：1955年
ハレルの状態遷移図（デビッド・ハレル氏が1987年に開発）

http://ja.wikipedia.org/wiki/状態遷移図

17モデリング表記の変遷（過去）
状態遷移図(2/2)
認識

状態遷移図は
対象システムが大規模化すると、数１００枚に及び、そうなると全体がさっぱりわからない。
18

改良：表記は“階層化”され“記述能力”強化、大規模化へ対応• 状態遷移図：SF

Matlab/simulink/statechart,
UML2/状態遷移機械図• 状態遷移表：ZIP-C(キャッツ社）

階層化状態遷移表(HSTM)

1997年頃

階層化
状態遷移図を必ず使ってください

認識

それでも、
さらに大規模化すると、やはり全体がさっぱりわからない。
19

静的構造と動的構造の認識-“アークテクチャ”と“振る舞い”に分ければ、判り易いのではないか？情報の静的側面

動的側面

クラス図

状態遷移図

ＥＲ図
アーキテクチャ• プログラム ＝• プログラム ＝

振る舞い

データ構造
＋
アーキテクチャ ＋

アルゴリズム振る舞い
20

静的構造と動的構造の認識-“アークテクチャ”と“振る舞い”に分ければ、判り易くなるのではないか？と考えた情報の静的側面

動的側面

クラス図

状態遷移図

ＥＲ図
DFD図

アーキテクチャ• プログラム ＝• プログラム ＝

UML

sysML
ADL

UML：1997年
振る舞い

ｱｰｷﾃｸﾁｬ定義：
1997年

SDL

データ構造
＋
アーキテクチャ ＋

アルゴリズム振る舞い
21

長所、短所認識：モデリング表記の実情
静的構造： クラス図(1/2)
オブジェクト指向表記例（UML)
クラス図：
1995年頃

http://ja.wikipedia.org/wiki/クラス図22

モデリング表記の実情
静的構造： クラス図(2/2)
オブジェクト指向表記例(UML)
欧州では2001年頃の認識

クラス図で大規模システムを整理できるという認識では誤りです

http://bizmo.co.jp/

認識
静的構造を表すクラス図も、大規模化すると、やはりシステム全体がさっぱりわからない。

23現在のまとめ：静的構造は多面的に• 階層化は第１に必要。
• 関心事（多数）への、多種の適当な多面的表現が必要。
• 対象の違い（メカ、ハード、ソフト）の表現方法、あるいはそれらの統一表現が必要。

静的構造（アーキテクチャ）と、その記述技法、標準化が重要。
システム/アーキテクチャ記述技法
sysMLはクラス図からの階層化に一つの提案をした。

24

2000

2000年よりオブジェクト指向は反省期へ
資料事例１

UMLにおける
ADL概念の弱さを指摘

参考：ADL Workshop2001 http://www.forsoft.de/zen/publications/2001/AdlWs2001.pdf

25

ソフトウェア構造のブロック的、階層化のあるべきイメージ
階層構造モデル振る舞いモデル

http://www2.dcs.hull.ac.uk/people/cssyp/26

現場エンジニアリング（モデリング編）
UML,sysMLでの記述順、詳細化記述順のポイント•

ＵＭＬでは、従前のクラス図中心のオブジェクト指向にプラスし、アーキテクチャ指向を織り込み
具体構造化していく記述順が、時代の流れとなっている。（特に組み込み）•

ＵＭＬ１．４では不足で、ＵＭＬ２．Ｘでは織り込まれてきた（少し織り込まれた、との表現が順当）。
さらに思い切った折込がｓｙｓＭＬ の位置づけ。

•

具体的には、ある程度設計が構想されたら（ユースケース、クラス、シーケンスができたら）構造
化ブロック図で詳細化を考えましょう．．の順。

•

ブロック図は、ＵＭＬではコンポジットダイアグラムと呼ばれ、（“ブロック図”名では古臭く、オブジェクト指向では重視されなかった経緯があるので、復活は遠慮がちな名前になっている）••

ｓｙｓＭＬではストレートに“内部ブロック図” という名前になっている（その点 ｓｙｓＭＬは遠慮なくオブジェクト指向偏重を切り捨てている）。

•

ブロック図はある意味データフロー図。
アクテイビテイ図はデータの流れを左から右へ、制御の流れを上から下へ、同時に書ける、注目される図（それが意図された）。従って、ブロック図から、制御をプラスした構造へ、詳細化できる。

•

ただ、あまりに自由に書けてしまうので注意。スイムレーンやブロック図整合を意識する。スイム
レーンは、シーケンスチャートから想像できる。

•

また、シーケンスチャートから状態遷移図は、本来変換できる。（ＵＭＬ２からシーケンスチャートに分岐を記述できるようになり、状態遷移図整合が、布石で織り込まれた）ので状態遷移図で整理し、アクテイビテイで詳細化を、考える。（必要に応じて）
27

‘ モデル駆動型開発MDD、MBDさらに
MBSEの流れで、現場で意識が必要な点（まとめ）モデリングにすると、なぜ良いのか？
 Ｃ言語の弱点を、アーキテクチャのわかりやすいモデリングで包み込もうとしているのが、ＭＢＤ、ＭＤＤ。
さらにシステム要求から連続させる、ＭＢＳＥ。

モデリングの、そもそもの注意点
 大規模システムでは階層化表記が出来なければ、破綻します。
また“アーキテクチャモデル”と“振る舞いモデル”を併用しないと、やはり破綻します。過度の状態遷移図依存は注意ください。
システムズエンジニアリングでは、ヘテロジニアス、ハイブリッド
表記が必要です。
28

UML,sysMLモデリング規格では具体記述のない、
現場エンジニアリング
問題提起




状態遷移図で完全であっても、状態遷移表で確認すると、ユーザ目線では漏れがあります。 状態遷移表で確認をしましょう。
状態遷移表で完全であっても、安全分析をすると、システム目線では漏れがあります。 多種の安全分析をしましょう。 システムを意識しましょう。
（これは、何々分析の事例です、他にも多数ある分析作業こそが設計作業です）








派生開発、車種展開ではプロダクトライン開発を意識し、フィーチャ－図で確認をしましょう(後述）。
これらは、カスタマー目線の何々分析に関係する基本課題です。
システムズエンジニアリングでは、この作業は誰かが必ず確認しているはずです、誰でしょうか？
モデリングsysMLは上流要件を記載する場ですが、結果を記載する場であって、上記を推進する道具ではありません。良いテンプレートが必要です。
さらに要件や設計が妥当である説明が求められてきて、わかりやすく、説明するためのモデル表記(GSN、D-CASE)を併用する方向になってきています。いずれにしろ、ゴール（目的）を意識しましょう。

29

‘ 最近のMBSE, sysMLを取り巻く周辺の現場関心事、動向（MBD,MDDを含む）







問題提起

(参考）基本であるモデリング標準化の停滞、認識遅れ
ソフトウェア設計用のUMLと、システムズエンジニアリング&仕様書作成用のsysMLと言われますが、
UML2.0で織りこめきれなかった改良点をｓｙｓMLでは
先進提案的に織り込まれている、という位置づけと認識しています。
私はソフトウェア設計もsysMLで行ったほうが良いという
立場です。

30

(参考)モデリング標準化の停滞
UML1.0(‘97)、2.0大幅変更(‘04)その後大幅変更無し


問題提起

ローエンドMARTE、fUML、EAST-ADLの動きは活発だった。

sysML1.0(‘04)その後大幅変更無し
 UML2.0、SysML1.0の功労者は両方ともCris Kobryn氏


xUML.org

vs

U2Partner.org /SysML.org

ステファン・J・メラー氏

Cris Kobryn氏 http://kobryn.com/

https://en.wikipedia.org/wiki/Stephen_J._Mellor

Cris Kobryn氏の意思を引き継ぐ人が現れていない
 日本が次世代をリードもありえる！
 吉報！？ 2015年夏 欧州がsysML2へ動き出した！


31

(参考）モデリング標準化の停滞
問題提起

事例：
 プロダクトラインのフィーチャー図を織り込む作業が進んでいない 状態遷移表はなかなか織り込まれない DSM提案（状態遷移表同様表的表現）も効果的なモデリング Matlab/Simulinkスタイルガイドは進んでいるが、sysMLスタイル
ガイドが標準化に至っていない（safeML提案あり）
 ＭＢＳＥを補完するGSN、D-Case、SCDL（SCN）などの提案が始まって、融合が歩みだした。
 MBSEもMBD/MDDも安全分析など“何々分析”をどう支援／織り込むかは途上 （STAMP、安全分析、脅威分析、何々分析．．）
32

2 sysML 2.0 の提案や課題認識をみてみましょう
欧州の課題認識がわかります！（あえて英語のままです、意外とわかります）


Model Formalism Concept: SysML v2 to be computer interpretable.

Model Analysis Concept: logical analysis and quantitative analysis in the concept.


the quantitative analysis can impose to integrating with other engineering analysis models and tools.

Model Construction Concept: Consider the 3 model construction use casesfrom scratch
Reusing an existing model
Importing unstructured legacy data (e.g. word, excel)Model Visualization Concept: concise description of the model view controller (MVC):

Model Management Concept: clarify versions versus revisions.



PLM/MBSE Integration Concept: PLM/MBSE and model interoperability.



MBSE Collaboration & Workflow Concept: Model Interoperability and Standardized API:







Model Interoperability and Standardized API: Include https in the web standards, synchronization ina collaborative environment
Systems Engineering Concept Model (SECM): views of different abstraction levels
Systems Engineering Concept Model (SECM) Property & Expressions Concept: the need for
dimensional analysis

33

sysML 2.0へ動き出している状況

http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-roadmap:reston_mar_2016_meeting_presentations

34

sysML 2.0へ動き出している状況
OMG:System Modeling Assessment & Roadmap
Working Group Meetings

SysML v2-Meeting

Cambridge

Sep 2015 Meeting Presentations



La Jolla

Dec 2015 Meeting Presentations



RestonMar 2016 Meeting Presentations



OrlandoJune 2016 Meeting Presentations

http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-roadmap:reston_mar_2016_meeting_presentations

35

sysML 2.0へ動き出している状況
OMG：


00-SysML v2-Meeting Summary-Reston-friedenthal-2016-03-18-a

SysML v2-Modeling Formalism-Yves Bernard-Reston-2016-03-16



SysML v2-Analysis Concept-Reston-Manas Bajaj-Intercax-2016-03-16







SysML v2-Colaboration & Workflow Concept-Reston-Hedley Apperly-2016-0316_v4
SysML v2-PLM-MBSE Integration Discussion-Reston-Uwe Kaufmann-2016-03-15
SECM Status, OMG Tech Meeting, Reston VA, Systems Modeling Roadmap andAssessment Mtg 03-17-201636欧州は、現状で機能安全、sysMLなど
で何が不足と考えているか？


IoT、自動走行などエリアに参入する台数が予想できない(open、adaptive）



接続される各種機器でアップデートがされるようになる（adaptive）

公道での実証実験は、不具合が起きれば市民を巻き込む事故に発展する
リスクが高く、実験ごとの検証の正しさ、アップデートの正しさを短期間に検証判断するリスクがどんどん高くなる、企業の命運を左右する。どのようにＯＫを判断すればよいのか悩む
sysMLを厳密にして(可能なら）検証、シミュレーションが動くようにして、
Design by Contract （assetion））で、インクレメンタル、リアルタイムに（短期に）検証できる仕組みを構築したい。
37

参考
関連する
最近の欧州ＦＰ７組み込み関連大規模技術先行
プロジェクトの動向









・欧州で進行している、日本で言えばSIP/FIT相当の100社/100億円助成で動いているプロジェクトが複数活動しています。
そこでは横断的基盤や将来の標準化やシステムズエンジニア
リングを目指した取り組みが行われています。
・自動走行、IoT、ロボット、CPS、SoSに向けた機能安全
IEC61508rev3、ISO26262rev3改定(2021DIS予想）への先行的活動や関心事例を説明します。
・それらと連動して、システムエンジニアリングモデリングsysMLの時代に合わせた2.0への久々の改定の動きや、Modelica、MatlabとFMI＋リモートIF（OSLC）で連動したリアルタイムシミュ
レーションメカニズム構想などの活動事例を説明します。
38

参考

最近の欧州ＦＰ７組み込み関連大規模技術
先行プロジェクトの動向

ARROWHEAD: Service Interoperability Enabling
Collaborative Automation for Production andEnergy System Automation, Intelligent-Built
Environment and Urban Infrastructure

EMC²: Platform for Embedded multi-core systems
for mixed criticality applications in dynamic andchangeable real-time environments
39

参考

40

参考

Erwin Schoitsch, AIT, Standardization Manager

41

参考

活動を説明する資料
Adaptive Dynamic Systems (SoS) Holistic Safety & Security Assurance– New Approaches and Standardization Activities –

http://www.cpsos.eu/wp-content/uploads/2015/10/CPSoS-WS_Adaptive-DynamicSystems_E-Schoitsch.pdf

Safety Certification of Software-intensive Systems with Reusable
Components

http://www.safecer.eu/images/RigaSeptember2013/presentations/pSafeCer%20FOW%20I
nfluencing%20Practice.pdf

42

3 最近提案されているモデリングを俯瞰してみましょう

システミグラム：

ＧＳＮ: ゴールストラクチャー

Ｄ－ＣＡＳＥ： デペンダビリテイケース

SCDL： 機能安全セーフテイゴール記述



ＳｙｓＭＬ Rev２： 次項参照



Synchart： 並列記述ステートチャート

キーワードでGoogle
検索してみてください43最近のMBSE, sysMLを取り巻く周辺の現場関心事、動向（MBD,MDDを含む）


現代先進安全設計の自動車機能安全規格の解釈はJasPar,JARI活動で共有されてきたが、そこから踏み込んだ相場観は、すべては議論できてはない。
そのため、ある程度相場観を支援できないか、提起が始まっている。

GSN, D-Case, SafeML, SCDL ,Systemigrams

GSN: Goal Structure Notation (2011）

システムが達成すべき目的や性質について、その達成を導く方法・思考を可視化する際に用いる記法。MBSEは目的、ゴールを意識する事が大切です。

D-Case: Dependability Case （2013） Assurance Caseとも言う）
GSNを発展させた合意の表記法（一般社団法人 ディペンダビリティ技術推進協会：
IEC 62853/62741,IEC60300-1,ISO/IEC15026)
SafeML: Safety Modeling Language
産総研：安全関連情報をコミュニケーションよく交換するモデリング記法、テンプレート

SCDL: Safety Concept Description Language（2013～）
エレメントの表記法、安全要求の表記法、それらを統合した安全コンセプトの表記法（安全コンセプト記法研究会）

Systemigrams（システミグラム）：システムと問題の構造を分かりやすく表現

4444

ＤＣＡＳＥの基本であるＧＳＮは非常に簡易な基本表記（4種の構造を結ぶ：2011年イギリスで提案)であり、マインドマップの様に一般化すれば、白板を前にした討議でも利用可能

http://deos.or.jp/index-j.html

掲載引用許可済45

関連活動が行われている場の事例



DEOS協会

INCOSE、INCOSE-J

SERA研究会



ASIF 車載組み込みシステムフォーラム

名古屋大学 ASDOQ研究会



安全コンセプト記法研究会



認証工学研究会46

4 皆さんと、自分の業務領域を意識しながら、背景や課題(モデリングの長所、短所、限界）を考えてみます事例： 何々分析を支援する機能が弱くないか？
（標準モデルは結果を記入する場）

昨今話題の並列機能記述は？


機能性能分析、安全分析、脅威分析、プロダクトライン分析、ユーザ
ビリテイ分析、状態遷移表網羅性分析、などシステムズエンジニアリ
ングの分析は多種

並列実行を考えると同期の問題が出てきます

昨今話題のゴール思考を明瞭にする必要は？


設計書に、ノウハウや背景などすべてが織り込まれていますか？

47

5 これからはこれが良い！と思うモデリングを皆さんで議論してみたいと思います

用途は？工程をどこで使うか想定してみてください

上流？ まとめるため？ 分析の道具？



設計のアイデアをわかりやすく、さっとまとめたい？



具体的にシミュレーションしたり、コード生成したい？



課題抽出をしたい？
48

演習
課題を思い浮かべ、それに対する直感を大切にしましょう！
（ 書き出すことや、言葉に出すことも大切です ）

49

まとめ




グラフィカルモデリングの実態を共有しました。
形成の歴史、課題背景、用途、限界、今後の動向を理解すると、ツールをどう組み合わせるべきか見逃しが無くなります。

モデリングは、広範に用いられています、どんどん主流になっています。



用途を意識しましょう。



完璧なツールは、やはり、ありません注意は必要です。



こんなモデリングが良い！とこれからも提案してみてください！
50

suzumura-nobuyasu@aisin-comcruise.com 鈴村延保

5151