D-­‐Case構文の整備と	  シラバスの策定	
日本大学理工学部応用情報工学科	  准教授 松野裕	  matsuno.yutaka@nihon-­‐u.ac.jp	
15/06/19	

h6p://www.dcase.jp	

内容	• D-­‐Case,	  D-­‐Case研究会	  • ２０１４年、２０１５年活動報告	  – 新しいウエブページ、ロゴ	  – D-­‐Caseライブラリ	  – 構文定義書、シラバス構造編	  • 今後の予定	  – イベント報告	  – D-­‐Case手法書、フォーラム	  15/06/19	

dcase.jp	D-­‐Caseについて	
• ディペンダビリティ合意形成手法・ツール	  – アシュアランスケース	  (Assurance	  Cases)	  – ツール開発、適用・評価手法	  • 企業などでの２０件程度の実証実験	  – 実際的な適用手法、D-­‐Caseパターンの蓄積	  – 国際標準化(OMG	  Safety	  SensiEve	  Consumer	  Devices)	  • 研究会などによる議論、普及活動	  – www.dcase.jp	  	D-­‐Case研究会	
1. 名古屋デンソークリエイト社、H24.9.1	  2. 名古屋デンソークリエイト社、H24.12.20	  参加者計	  3. 慶應日吉キャンパス、H25.4.19	  250名	  4. 京都アックス社、H25.10.22	  	  5. 国立情報学研究所、H26.3.18	  発表数計	  43件	  6. 東大本郷キャンパス、H26.7.11	  7. 名古屋デンソークリエイト社、H26.12.19	
15/06/19	

dcase.jp	

第8回D-­‐Case研究会	  5月22日、日大駿河台キャンパス	

15/06/19	

次回の予定	  秋、冬シーズンに名古屋	  来年はじめ 東京	  を予定	dcase.jp	内容	• D-­‐Case研究会	  • 2014年、2015年の活動	  – 新しいウエブページ、ロゴ	  – D-­‐Caseライブラリ	  – 構文定義書、シラバス構造編	  • 今後の予定	  – D-­‐Case手法書	  – Upcoming	  Events	  15/06/19	

dcase.jp	新しいウエブページとロゴ	
• dcase.jp	  • D-­‐Caseロゴ	  – デザインを一新	  – Bloggerで容易な更新	  – D-­‐Caseライブラリ	  – 商標登録の手続き中	  – ぜひ使ってください！	  
• dcase.jpでコピーできます	

１ヶ月半で４５００ビュー達成！	

15/06/19	

dcase.jp	D-­‐Caseライブラリ	• 約２０個のD-­‐Caseを公開中（未公開３０個位）。	  
• 従来のアシュアランスケースのサンプルは	  非常に少ないand/or抽象的すぎand/or…	
実際に試行錯誤して	  作って、使った、	  実用的なライブラリへ	

15/06/19	

dcase.jp	D-­‐Caseライブラリの	  初期設計	
• タグ	  • 項目		

とりあえず	  標準的な	  タグをつけた	  15/06/19	

他のタグ、	  作成者、作成時期など、	  利用者、対象者などの	  項目を検討中	  dcase.jp	

GSNの既存研究	  （もともとはオブジェクト	  指向言語のパターン記述）	  を元にした	  構文定義書とシラバス	
• 構文定義書	  v1.0	  – GSN/D-­‐Case世界初の（準）形式的な定義書	  • シラバス	  v1.1	  – 議論構造の教育用シラバス	
D-­‐Caseの展開（講習会、ツール開発、認証、…）の基礎となる	  D-­‐Case部会公式ドキュメント	  www.dcase.jp	  より入手可能	  15/06/19	

dcase.jp	

Figure 5.

構文定義書	  D-­‐Caseの国際標準化へ	

Main constructs of GSN modules [14]of GSN modules: module reference, away goal, and contract
module. If a goal G in a module A is supported by the top
goal of module B, then G is linked to the module noderepresenting B. An away goal is used to refer to a goal in amodule to support a goal in another module. Also, contract
modules are introduced for describing the relationship between two modules. In the GSN community standard, it isstated that “a contract module containing a definition of therelationships between two modules, defining how a claim in
one supports the argument in the other. ” However, there isinsufficient explanation of contract modules in [14]. There
are several studies of GSN contracts such as [12], but thoseare not included in the GSN community standard.

• GSN(Goal	  Structuring	  NotaEon)	  Figure 6.

Normalization of GSN Link

GSN COMMUNITY STANDARD VERSION 1– 参照実装がなかった	  B. GSN Patterns

1.2.4 Figure 7 provides the definition and rendering of these elements. GSN
relationships are defined in Section 1.2.5 below. The meanings of structures
combining these relationships are further explained in Section 1.3.

We formalize the following construct of GSN patterns:
parameterized expressions, multiplicity, choice, and loop.
In [27], Matsuno and Taguchi introduced types and definethe scope of variables that appear in expressions. These two
are not new and are fairly basic notions in programming languages. However, the current GSN [14] neither incorporates
types nor provides a precise account of the scope of variables. As explained in Section II-C, the intended meaning of
the parameterized expression {System X} in Figure 3 is toinstantiate the variable X by some particular instance which
belongs to the System class. Introducing types and giving aprecise account of the scope of variables will help to avoid
misuses of parameterized expressions and to detect errors
in early stages. For example, we can automatically avoid
mis-placement of variables by type checking. In Figure 3,
if a user instantiates X with e.g., “Railway hazards”, thenthe argument does not make sense. It is fairly obvious thattype checking prevents such a mis-placement. If the scoping
rules are not precisely defined, we cannot figure out wherevariables in a node are declared in the first place.
We introduce parameter context as a sub-class of context
node of the form [x : ⌧ = v] where x is a parameter of type⌧ to which a value v is assigned (we use x, y, z, . . . forparameters and v for values). Parameter context is attached• OMG	  SACM国際規格	  – XMLによる定義	

III. A F ORMAL D EFINITION OF GSN AND I TS
E XTENSIONS	A strategy, rendered as a parallelogram,describes the nature of the inference thatexists between a goal and its supportinggoal(s).
A solution, rendered as a circle,
presents a reference to an evidence item
or items.

{Strategy Identifier}<Strategy Statement>{SolutionIdentifier}

A context, rendered as shown left,presents a contextual artefact. This canbe a reference to contextual information,
or a statement.
A justification, rendered as an oval withthe letter ‘J’ at the bottom-right, presents
a statement of rationale.

{Context Identifier}We first define the GSN term as follows. Let g, e,
and st be meta-variables for goals, evidence (solution) andstrategies, respectively. For simplicity, we omit other GSN
nodes including context, assumption, and justification nodes.
Each node contains a description string such as “System isdependable.” This structured definition of GSN terms firstappeared in [27].
Definition 1 (GSN term T ):T ::= ⌃ | (g, ⌃) | (g, e) | (g, st, (T1 , . . . , Tn ))<Goal Statement><Solution
Statement>

A. GSN: Basic Definitions

形式的な定義	  用語の統一	

A goal, rendered as a rectangle,
presents a claim forming part of theargument.

{Goal Identifier}<Context Statement>

XMLによる定義	⌃ implies an empty GSN term. (g, ⌃) is a GSN term fora top goal g with no supporting argument. (g, e) is a GSNterm whose top goal g is supported by a direct evidence{Justification Identifier}<Justification Statement>

J{Assumption Identifier}<Assumption Statement>{Undeveloped Goal
Identifier}<Goal Statement>

AAn assumption, rendered as an oval
with the letter ‘A’ at the bottom-right,
presents an intentionally unsubstantiatedstatement.
Undeveloped entity, rendered as ahollow diamond applied to the centre ofan element, indicates that a line ofargument has not been developed. It
can apply to goals (as below) andstrategies.
An undeveloped goal, rendered as arectangle with the hollow-diamond‘undeveloped entity’ symbol at thecentre-bottom, presents a claim which isintentionally left undeveloped in theargument.

参照実装	  D-­‐Case	  Editor	

Figure 7: Core GSN Elements

15/06/19	

dcase.jp	

© 2011 Origin Consulting (York) Limited, on behalf of the Contributors

8Astah/GSN	• D-­‐Case構文に適合（認証中）	

15/06/19	

dcase.jp	

シラバス	  D-­‐Case教育の共通化へ	
• 議論構造編	

D-Case sii	  	 

No.
1.
2.
15/06/19	 3.

D-Caseトレーニング
構造編
version 1.00

D-Case本教育プログラムの目的：
D-Caseを自分の開発業務で活用するために必要となる基本的なスキルを習得していただきます。	  	 デンソークリエイト社	  D-CaseD-­‐Case教材（認証中）	
dcase.jp	

2内容	• D-­‐Case研究会	  • 2014年、2015年の活動	  – 新しいウエブページ、ロゴ	  – D-­‐Caseライブラリ	  – 構文定義書、シラバス構造編	  – イベント報告	  • 今後の予定	  – D-­‐Case手法書	  – Upcoming	  Events	  15/06/19	

dcase.jp	D-­‐Case手法書へ向けて	
D-­‐Caseは当たり前のことを	  しようとしている	
限られたリソースで、他の	  膨大なドキュメントがある中で	  書くのは大変	  ゴールの設定、粒度、他の	  ドキュメントとの関連、。。。	  

D-­‐Case手法書	  ・一つのD-­‐Caseは３階層ぐらいまで	  ・一枚のパワポに収まる大きさで	  ・誰が、誰に見せるのか明確に	  ・利用シーンの整理	  ・FTAなどとの併用法	  ・…	  	  15/06/19	

イギリスAdelard社の例	  dcase.jp	組み込みセキュリティ＆セーフティ	  @御茶ノ水ソラシティ、2015.3.12	
• CV平鍋さん、DIMENSIONS石垣さん、産総研
中坊さん、。。。など（松野は組織委員長）	  • １００名を超える参加者	

Change	  Vision	  平鍋さん	

15/06/19	

dcase.jp	

Upcoming	  Events	• 信頼性・保全性シンポジウム特別セッション	  IoT時代のシステム保証・規格認証	  – 7.17,	  9:30~11:30、	  日本教育会館（一橋）	  – 山下修平(DNV	  GL)	  	  – 田口研治(産総研) 	  – 上野肇（FX） D-­‐Caseの発表	  – 田丸喜一郎(IPA)	  	  – 松野裕	  • (日大、コーディネータ)	  15/06/19	

dcase.jp	まとめと今後	• D-­‐Caseの現状の報告	  • 今年度	  – D-­‐Case手法の整理	  – 分野ごとのD-­‐Case使用例集	  15/06/19	

dcase.jp