講演抄録/キーワード |
講演名 |
2016-11-04 10:45
D-Case: ステークホルダーを明確化したGSNによる合意形成手法 ○石津流弥・松野 裕(日大) KBSE2016-24 |
抄録 |
(和) |
近年、システム保証の手法としてアシュアランスケースが注目を集めている。その表記法としてGSN(Goal Structuring Notation)などが研究開発されている。しかしながら、従来のGSN手法では、システムが複雑化されるにつれ、そのためのGSN自体が複雑、膨大になるなどの根本的な課題があった。本論文ではこれらの課題を解決するため、対象となるステークホルダーの明確化や記述量の制限などを定式化したGSN記述法: D-Case手法を提案する。D-Case手法を、自動運転などをテーマとして初期適用を行った結果を報告する。 |
(英) |
Recently, assurance cases have been getting attention as a method for system assurance. However, conventional description methods for assurance cases have several fundamental problems such that as the systems become huge and complex, the assurance cases for the systems also become so. To solve the problems, this paper we propose D-Case: a consensus building method using GSN with Stakeholders, which explicitly defines the stakeholders and limits the size of assurance cases. We report preliminary experiments using D-Case method for automatic driving cars. |
キーワード |
(和) |
アシュアランスケース / GSN / 合意形成 / ステークホルダー / / / / |
(英) |
Assurance Cases / Goal Structuring Notation / D-Case / / / / / |
文献情報 |
信学技報, vol. 116, no. 284, KBSE2016-24, pp. 1-6, 2016年11月. |
資料番号 |
KBSE2016-24 |
発行日 |
2016-10-27 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2016-24 |