| 研究課題/領域番号 |
16K12414
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
本位田 真一 国立情報学研究所, アーキテクチャ科学研究系, 教授 (70332153)
|
|---|
| 研究分担者 |
鄭 顕志 国立情報学研究所, 大学共同利用機関等の部局等, 准教授 (40434295)
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2018-03-31
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
3,380千円 (直接経費: 2,600千円、間接経費: 780千円)
2017年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2016年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
|
|---|
| キーワード | 自己適応システム / 実行時モデリング / 環境モデル学習 / 制御器合成 / 自己適応ソフトウェア / ソフトウェア工学 |
|---|
| 研究成果の概要 |
近年のソフトウェアシステムは環境変化に対して柔軟に動作を継続する自己適応性が求められる．従来の開発手法では，開発時に想定された環境変化に対してのみ保証を伴った適応を可能にする．しかし実行時に直面する環境変化を開発時に想定し尽くすことは困難である．従来の開発手法では想定漏れのリスクは避けられない．そこで本研究では「開発時の想定に漏れた環境変化」に対しても耐えるソフトウェアを実現するための実行時モデル更新技術を提案した．環境・要求・動作仕様モデルをシステムが実行時に保持し，想定から漏れた変化を環境モデルに反映し，安全性を保証する動作仕様をシステム自身によって実用的な速度で導出する技術を構築した．
|
