| 講演名 | 2015-03-06 アシュアランスケース構築のための議論合成法 高井 利憲, 木藤 浩之, 松野 裕, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年,安全性に関係するシステムやソフトウェアにおいては,リスクに関する議論を記述したアシュアランスケースを求められることが多くなってきている.今後,システムのコンポーネント毎や開発プロセスのフェーズ毎にアシュアランスケースを記述し,それを合成しながらアシュアランスケースを記述することが求められると予想される.本稿では,まず議論の合成に求められる性質を整理する.次に,GSNで記述された議論によって表現されたアシュアランスケースに対して,整理した合成に求められる性質を満たすような合成法を提案する. |
| 抄録(英) | Recently, developing safety-critical systems or software requires assurance cases to describe arguments about risks. In the future, it can be easily expected that assurance cases are constructed for each component or each development phase first, then those assurance case fragments are integrated to compose the final assurance case. In this draft, we first consider the requirements for modular construction of assurance cases. Then, we give a modular construction procedure to satisfy the requirements. |
| キーワード(和) | GSN / モジュラ性 / Dungの議論フレームワーク / 双極議論フレームワーク |
| キーワード(英) | GSN / Modularity / Dung's argumentation framework / Bipolar argumentation framework |
| 資料番号 | KBSE2014-62 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2015/2/26(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | アシュアランスケース構築のための議論合成法 |
| サブタイトル（和） | |
| タイトル（英） | A modular construction of arguments for assurance cases |
| サブタイトル（和） | |
| キーワード(1)（和/英） | GSN / GSN |
| キーワード(2)（和/英） | モジュラ性 / Modularity |
| キーワード(3)（和/英） | Dungの議論フレームワーク / Dung's argumentation framework |
| キーワード(4)（和/英） | 双極議論フレームワーク / Bipolar argumentation framework |
| 第 1 著者 氏名（和/英） | 高井 利憲 / Toshinori TAKAI |
| 第 1 著者 所属（和/英） | 奈良先端科学技術大学院大学 Nara Institute of Science and Technology |
| 第 2 著者 氏名（和/英） | 木藤 浩之 / Hiroyuki KIDO |
| 第 2 著者 所属（和/英） | 東京大学 the University of Tokyo |
| 第 3 著者 氏名（和/英） | 松野 裕 / Yutaka MATSUNO |
| 第 3 著者 所属（和/英） | 電気通信大学 University of Electro-Communications |
| 発表年月日 | 2015-03-06 |
| 資料番号 | KBSE2014-62 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 501 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |