| 講演抄録/キーワード |
| 講演名 |
2017-01-24 11:30
O-DAにおける高保証アーキテクチャ開発手法の現状と課題 ○山本修一郎(名大) KBSE2016-36 |
| 抄録 |
(和) |
筆者らがThe Open Groupに提案したO-DA(Open Dependability through Assuredness)では,高い信頼性を持つアーキテクチャの開発手法が標準化されている.本稿では,わが国におけるO-DAの取り組みの現状を明らかにするとともに,今後を展望する.具体的には,O-DAテンプレート,主張間の主張間の優先順位の合意手法,ディペンダビリティ原則定義法,EAに対する対する保証ケース作成法,保証ケースレビュ手法などについて説明する. |
| (英) |
The O-DA (Open Dependability through Assuredness) is a The Open Group standard proposed by authors. O-DA standardizes basic concepts on the assured Architecture Development Method.
This paper discusses trend and issues on O-DA approaches in Japan. It also explains future directions of O-DA. O-DA template, consensus building method for resolving conflicts among claims, dependability principles definition method, assurance case creation method for EA, and assurance case review method are specially explained. |
| キーワード |
(和) |
O-DA / EA / 保証ケース / ディペンダビリティ / ABACE / / / |
| (英) |
O-DA / EA / Assurance case / Dependability / ABACE / / / |
| 文献情報 |
信学技報, vol. 116, no. 418, KBSE2016-36, pp. 31-36, 2017年1月. |
| 資料番号 |
KBSE2016-36 |
| 発行日 |
2017-01-16 (KBSE) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
KBSE2016-36 |