2014 Fiscal Year Annual Research Report
想定外に備えた空間制御ソフトウェアの分析・設計・検証手法
| Project/Area Number |
24240003
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
本位田 真一 国立情報学研究所, アーキテクチャ科学研究系, 教授 (70332153)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
鄭 顕志 国立情報学研究所, アーキテクチャ科学研究系, 助教 (40434295)
石川 冬樹 国立情報学研究所, コンテンツ科学研究系, 准教授 (50455193)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | ソフトウェア工学 / ソフトウェアアーキテクチャ / ソフトウェア開発プロセス |
|---|
| Outline of Annual Research Achievements |
平成26年度は，平成25年度までの成果の統合とその評価を目的として研究活動を実施した．まず，平成25年度までにの成果となる空間制御システムに関する分析，設計，検証手法を統合し，制御ループモデルを中心とした空間制御ソフトウェアの開発プロセスを構築した．さらに，平成25年度に開発した分析工程，設計工程，検証工程を支援するツール群をつなぐツールチェインを構築した．具体的には，分析，設計工程で用いるCASEツールCASEツールによって作成されたモデルを検証用のモデルに変換する変換ツールを開発した．
次に，開発したプロセスを用いた評価実験を行った．評価実験では，国立情報学研究所内のスマートルームを用いた清掃ロボットによる室内自動清掃システムを実装した．室内に配置された位置センサーを入力，清掃ロボットを出力とし，それらを統合，制御する空間制御ソフトウェアを，提案した手法を活用して構築した．さらに，清掃機能の追加や，非機能要求の追加を想定したソフトウェア進化を行い，本提案手法の有効性を評価した．
さらに，研究成果の公開を行った．研究成果を，国際会議，論文誌等で発表し，構築したツールや実装した環境制御ソフトウェアをWeb上で公開した．
|
| Research Progress Status |
26年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
26年度が最終年度であるため、記入しない。
|
