著者

本位田 真一 鄭 顕志 石川 冬樹

出版者

国立情報学研究所

雑誌

基盤研究(A)

巻号頁・発行日

2012-04-01

---

本研究では,空間制御ソフトウェアを対象とし,想定外に備えて迅速なソフトウェア進化を実現する分析,設計,検証手法を提案した.具体的には,(1)物理要素の制御に関する要求をゴールモデル上で明示化させるための制御ループ要求パターンをゴールモデル整形プロセス,(2)要求モデル上で明示化した制御ループ要求に対する実現責務を用意にトレース可能とする,制御ループモデルをモジュール単位として扱うソフトウェアアーキテクチャ,(3)制御ループ仕様の誤りを早期に発見可能とするための検証手法を提案した.さらにそれらの成果を統合した開発プロセスを構築し,スマートルーム内の清掃システムを開発し,その効果を評価した.