2013 Fiscal Year Annual Research Report
ゴール指向要求記述を用いた自己適応システムの検証手段に関する研究
| Project/Area Number |
23500039
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
田原 康之 電気通信大学, 大学院情報システム学研究科, 准教授 (30390602)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
大須賀 昭彦 電気通信大学, 大学院情報システム学研究科, 教授 (90393842)
中川 博之 大阪大学, 大学院情報科学研究科, 准教授 (40508834)
|
|---|
| Keywords | 計算機システム / 情報システム / ソフトウェア開発効率化・ 安定化 / ソフトウェア学 / ディペンダブル・コンピューティング / 自己適応システム / ソフトウェア検証 / ゴール指向要求分析 |
|---|
| Research Abstract |
近年ソフトウェアの大規模・複雑化に伴い,環境の変化に対しても人が介在すること無く,動的に環境に適応するソフトウェアが求められるようになっている.そこで,環境や実行状況の変化に対しても,与えられたゴールを達成するために振舞いや構成を切替える自己適応システムが注目されているが,その開発,特に振舞いの正しさの保証はいまだ容易であるとは言えない.そこで本研究では,自己適応システムの検証に状態マシン図などのUMLモデルだけでなく,ゴール指向要求記述も利用することにより,各検証に必要な状態数を抑制するとともに,要求に対して直感的に検証結果を確認することのできる自己適応システムの検証手段を確立し,検証をサポートするツール群(変換ツールおよび検証ツール)を実装する.
平成 25 年度は,システム検証実験を通じて研究成果を評価し,その成果を公開・発表した.まず,前年度までのテーマ1「要求記述と検証記述の対応関係の決定」,テーマ2「適応を考慮した検証手段の確立」,およびテーマ3「検証結果を反映した実装モデル構築手法の確立」の成果である検証フレームワークを利用した,自己適応システム検証実験を通じてその有効性を評価した.並行して,テーマ1～3の成果をそれぞれ国内シンポジウムや国際会議へ投稿し,研究成果を発表した.
|
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 自動清掃ロボットの自己適応化に向けて2013
Author(s)
工藤 拓光, 中川 博之, 清 雄一, 田原 康之, 大須賀 昭彦
Organizer
第126回 システムソフトウェアとオペレーティング・システム（OS）研究会, 第31回 組込みシステム（EMB）研究会
Place of Presentation
東京都江東区
Year and Date
20131203-20131203
-
-
[Presentation] Linked Data を用いたソーシャルメディア×マスメディアの比較実験2013
Author(s)
田代 和浩, 王 冕, 越川 兼地, 西村 悟史, 森田 武史, 長野 伸一, 清 雄一, 中川 博之, 田原 康之, 川村 隆浩, 大須賀 昭彦
Organizer
2013年度人工知能学会全国大会（第27回）
Place of Presentation
富山県富山市
Year and Date
20130605-20130605
-
-
