講演名 2017-01-24
O-DAにおける高保証アーキテクチャ開発手法の現状と課題
山本 修一郎(名大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 筆者らが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
資料番号 KBSE2016-36
発行日 2017-01-16 (KBSE)

研究会情報
研究会 KBSE
開催期間 2017/1/23(から2日開催)
開催地(和) 機械振興会館
開催地(英) Kikai-Shinko-Kaikan Bldg.
テーマ(和) 一般
テーマ(英)
委員長氏名(和) 金田 重郎(同志社大)
委員長氏名(英) Shigeo Kaneda(Doshisha Univ.)
副委員長氏名(和) 粂野 文洋(日本工大)
副委員長氏名(英) Fumihiro Kumeno(Nippon Inst. of Tech.)
幹事氏名(和) 小形 真平(信州大) / 橋浦 弘明(日本工大)
幹事氏名(英) Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.)
幹事補佐氏名(和) 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大)
幹事補佐氏名(英) Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.)

講演論文情報詳細
申込み研究会 Technical Committee on Knowledge-Based Software Engineering
本文の言語 JPN
タイトル(和) O-DAにおける高保証アーキテクチャ開発手法の現状と課題
サブタイトル(和)
タイトル(英) Trend and Issues on Assured Architecture Development Method for O-DA
サブタイトル(和)
キーワード(1)(和/英) O-DA / O-DA
キーワード(2)(和/英) EA / EA
キーワード(3)(和/英) 保証ケース / Assurance case
キーワード(4)(和/英) ディペンダビリティ / Dependability
キーワード(5)(和/英) ABACE / ABACE
第 1 著者 氏名(和/英) 山本 修一郎 / Shuichiro Yamamoto
第 1 著者 所属(和/英) 名古屋大学(略称:名大)
Nagoya University(略称:Nagoya Univ.)
発表年月日 2017-01-24
資料番号 KBSE2016-36
巻番号(vol) vol.116
号番号(no) KBSE-418
ページ範囲 pp.31-36(KBSE),
ページ数 6
発行日 2017-01-16 (KBSE)