講演抄録/キーワード |
講演名 |
2015-03-06 13:45
アシュアランスケース構築のための議論合成法 ○高井利憲(奈良先端大)・木藤浩之(東大)・松野 裕(電通大) KBSE2014-62 |
抄録 |
(和) |
近年,安全性に関係するシステムやソフトウェアにおいては,リスクに関する議論を記
述したアシュアランスケースを求められることが多くなってきている.今後,システム
のコンポーネント毎や開発プロセスのフェーズ毎にアシュアランスケースを記述し,そ
れを合成しながらアシュアランスケースを記述することが求められると予想される.本
稿では,まず議論の合成に求められる性質を整理する.次に,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 / / / / |
文献情報 |
信学技報, vol. 114, no. 501, KBSE2014-62, pp. 59-64, 2015年3月. |
資料番号 |
KBSE2014-62 |
発行日 |
2015-02-26 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2014-62 |