2017 Fiscal Year Annual Research Report
Models@run.time for software tolerant to unforseen changes in the environment
| Project/Area Number |
16K12414
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
本位田 真一 国立情報学研究所, アーキテクチャ科学研究系, 教授 (70332153)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
鄭 顕志 国立情報学研究所, 大学共同利用機関等の部局等, 准教授 (40434295)
|
|---|
| Project Period (FY) |
2016-04-01 – 2018-03-31
|
| Keywords | 自己適応ソフトウェア |
|---|
| Outline of Annual Research Achievements |
近年のソフトウェアシステムは環境変化に対して柔軟に動作を継続する自己適応性が求められる．従来の開発手法では，開発時に想定された環境変化に対してのみ保証を伴った適応を可能にする．しかし，実行時に直面する環境変化を開発時に想定し尽くすことは困難である．従来の開発手法では想定漏れのリスクは避けられず，リスク低減のための過度な設計は開発工数の飛躍的な増大を招く．そこで本研究提案では，「開発時の想定に漏れた環境変化」に対しても耐えるソフトウェアを実現するための実行時モデル更新技術を提案する．環境・要求・動作仕様モデルをシステムが実行時に保持し，想定から漏れた変化を環境モデルに反映し，安全性を保証する動作仕様をシステム自身によって実用的な速度で導出する技術の確立を目標とする．
平成29年度では，実用に耐えうる品質となるように [実施項目1]環境モデル実行時更新技術，[実施項目2]保証を伴う動作仕様の実行時導出技術を拡張，発展させた．平成28年度の評価結果を踏まえ，実行速度，精度等の観点から品質上の課題を洗い出し，各技術の洗練化を行った．また，洗練化された技術を複数の例題で評価し，開発工数と，環境変化に対する頑健性の観点からの評価を行った．
|
