研究課題/領域番号 |
24240003
|
研究種目 |
基盤研究(A)
|
配分区分 | 補助金 |
応募区分 | 一般 |
研究分野 |
ソフトウエア
|
研究機関 | 国立情報学研究所 |
研究代表者 |
本位田 真一 国立情報学研究所, アーキテクチャ科学研究系, 教授 (70332153)
|
研究分担者 |
鄭 顕志 国立情報学研究所, アーキテクチャ科学研究系, 助教 (40434295)
石川 冬樹 国立情報学研究所, コンテンツ科学研究系, 准教授 (50455193)
|
研究期間 (年度) |
2012-04-01 – 2015-03-31
|
研究課題ステータス |
完了 (2014年度)
|
配分額 *注記 |
44,850千円 (直接経費: 34,500千円、間接経費: 10,350千円)
2014年度: 15,860千円 (直接経費: 12,200千円、間接経費: 3,660千円)
2013年度: 15,730千円 (直接経費: 12,100千円、間接経費: 3,630千円)
2012年度: 13,260千円 (直接経費: 10,200千円、間接経費: 3,060千円)
|
キーワード | ゴール指向要求分析 / ソフトウェアアーキテクチャ / モデル検査 / ソフトウェア工学 / ソフトウェア開発プロセス / 空間制御ソフトウェア / ソフトウェア進化 / ソフトウェア分析 / ソフトウェア設計 / ソフトウェア検証 |
研究成果の概要 |
本研究では,空間制御ソフトウェアを対象とし,想定外に備えて迅速なソフトウェア進化を実現する分析,設計,検証手法を提案した.具体的には,(1)物理要素の制御に関する要求をゴールモデル上で明示化させるための制御ループ要求パターンをゴールモデル整形プロセス,(2)要求モデル上で明示化した制御ループ要求に対する実現責務を用意にトレース可能とする,制御ループモデルをモジュール単位として扱うソフトウェアアーキテクチャ,(3)制御ループ仕様の誤りを早期に発見可能とするための検証手法を提案した.さらにそれらの成果を統合した開発プロセスを構築し,スマートルーム内の清掃システムを開発し,その効果を評価した.
|