| 研究課題/領域番号 |
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)制御ループ仕様の誤りを早期に発見可能とするための検証手法を提案した．さらにそれらの成果を統合した開発プロセスを構築し，スマートルーム内の清掃システムを開発し，その効果を評価した．
|
