講演抄録/キーワード |
講演名 |
2017-01-24 10:00
フィーチャモデルに対するGSN作成法の提案 ○宇都宮浩之・山本修一郎(名大) KBSE2016-34 |
抄録 |
(和) |
類似する構成要素からなる組み込みシステムを再利用するためのモデルとして,フィーチャモデルが知られている.しかし,フィーチャモデルに対する保証方法については知られていない.このため,本稿では,フィーチャモデルに対する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 / / / |
文献情報 |
信学技報, vol. 116, no. 418, KBSE2016-34, pp. 19-24, 2017年1月. |
資料番号 |
KBSE2016-34 |
発行日 |
2017-01-16 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2016-34 |