講演抄録/キーワード |
講演名 |
2012-03-15 13:35
Assurance Case作成手法(d*)の適用評価 ○猿渡卓也(名大/NTTデータ)・山本修一郎(名大) KBSE2011-69 |
抄録 |
(和) |
現在,開発されている情報システムの多くは,様々なシステム(要素)が相互に依存しあうオープンシステムである.しかし,代表的なAssurance Caseの記法(GSN)では,複数の対象が同じ木構造の中で表現され,システム同士の依存関係が明確にならない.そこで,対象同士のDependabilityの依存関係を記述できるd*(d*Framework)手法の導入を,エレベーターの制御システムを例にとり適用評価した. |
(英) |
Many information systems are now developed as open systems which mutually depend on each other. Although assurance cases are expected to confirm dependability of open systems, it is difficult to clearly describe dependency among co-related systems, because systems are not explicitly represented in structured trees of assurance cases. By using the case study of an elevator control system, we evaluated the d* framework which can describe the dependability of inter-related open systems. |
キーワード |
(和) |
Assurance Case / d*Framework / ディペンダビリティ / / / / / |
(英) |
Assurance Case / d*Framework / Dependability / / / / / |
文献情報 |
信学技報, vol. 111, no. 489, KBSE2011-69, pp. 1-6, 2012年3月. |
資料番号 |
KBSE2011-69 |
発行日 |
2012-03-08 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2011-69 |