| 講演名 | 2012-03-15 Assurance Case作成手法(d*)の適用評価 猿渡 卓也, 山本 修一郎, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 現在,開発されている情報システムの多くは,様々なシステム(要素)が相互に依存しあうオープンシステムである.しかし,代表的な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 |
| 資料番号 | KBSE2011-69 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2012/3/8(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Assurance Case作成手法(d*)の適用評価 |
| サブタイトル（和） | |
| タイトル（英） | Evaluation of an Assurance Case development method (d*) |
| サブタイトル（和） | |
| キーワード(1)（和/英） | Assurance Case / Assurance Case |
| キーワード(2)（和/英） | d*Framework / d*Framework |
| キーワード(3)（和/英） | ディペンダビリティ / Dependability |
| 第 1 著者 氏名（和/英） | 猿渡 卓也 / Takuya SARUWATARI |
| 第 1 著者 所属（和/英） | 名古屋大学大学院情報科学研究科:株式会社NTTデータ Graduate School of Information Science Nagoya University:NTT DATA CORPORATION |
| 第 2 著者 氏名（和/英） | 山本 修一郎 / Shuichiro YAMAMOTO |
| 第 2 著者 所属（和/英） | 名古屋大学情報連携統括本部 Strategy Office, Information and Communications Headquarters Nagoya University |
| 発表年月日 | 2012-03-15 |
| 資料番号 | KBSE2011-69 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | 489 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |