講演名 2017-01-24
フィーチャモデルに対するGSN作成法の提案
宇都宮 浩之(名大), 山本 修一郎(名大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 類似する構成要素からなる組み込みシステムを再利用するためのモデルとして,フィーチャモデルが知られている.しかし,フィーチャモデルに対する保証方法については知られていない.このため,本稿では,フィーチャモデルに対するGSN作成法を提案する.本手法では,フィーチャモデルのノードから,GSNの主張「フィーチャが品質特性を満たす」を作成するとともに,フィーチャモデルの分解関係から,GSNの戦略ノードによる分解を作成する.また,具体的な組み込みシステムに対する本手法の適用事例を用いて有効性を確認する.
抄録(英) The feature model was known to reuse components for developing similar embedded software. However, the assurance method for feature models was not known. This paper proposes a method to develop assurance cases for feature models. The method creates claims in the form of “the feature satisfies quality attributes.” Then it decomposes the claim by using strategy node of GSN based on the decomposition relationship of the feature model. It also shows the effectiveness of the proposed method by demonstrating a simple application example of an embedded system.
キーワード(和) フィーチャモデル / 保証ケース / GSN / 組込みシステム / 再利用
キーワード(英) Feature model / Assurance case / GSN / embedded system / reuse
資料番号 KBSE2016-34
発行日 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
タイトル(和) フィーチャモデルに対するGSN作成法の提案
サブタイトル(和)
タイトル(英) A GSN development approach for Feature models
サブタイトル(和)
キーワード(1)(和/英) フィーチャモデル / Feature model
キーワード(2)(和/英) 保証ケース / Assurance case
キーワード(3)(和/英) GSN / GSN
キーワード(4)(和/英) 組込みシステム / embedded system
キーワード(5)(和/英) 再利用 / reuse
第 1 著者 氏名(和/英) 宇都宮 浩之 / Hiroyuki Utsunomiya
第 1 著者 所属(和/英) 名古屋大学(略称:名大)
Nagoya University(略称:Nagoya Univ.)
第 2 著者 氏名(和/英) 山本 修一郎 / Shuichiro Yamamoto
第 2 著者 所属(和/英) 名古屋大学(略称:名大)
Nagoya University(略称:Nagoya Univ.)
発表年月日 2017-01-24
資料番号 KBSE2016-34
巻番号(vol) vol.116
号番号(no) KBSE-418
ページ範囲 pp.19-24(KBSE),
ページ数 6
発行日 2017-01-16 (KBSE)