2019 Fiscal Year Annual Research Report
想定に漏れた環境変化にしなやかに耐える実行時モデルフレームワーク
| Project/Area Number |
18H03225
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
鄭 顕志 早稲田大学, 理工学術院, 准教授(任期付) (40434295)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
本位田 真一 早稲田大学, 理工学術院, 教授(任期付) (70332153)
|
|---|
| Project Period (FY) |
2018-04-01 – 2022-03-31
|
| Keywords | 自己適応システム / 実行時モデル / Graceful Degradation / 離散制御器合成 / 環境モデル学習 |
|---|
| Outline of Annual Research Achievements |
本研究では想定漏れの変化に耐えるGraceful Degradationを実現する実行時モデル更新技術を確立(実施項目1,2)し，その技術を反映した実行 時モデルフレームワークを用いた実証実験(実施項目3)により本手法の有効性と限界を明らかにする．2019年度は，2018年度に開発した要素技術を反映したフレームワーク開発を行い，初回の評価実験を行った．また，その結果に基づいて各要素技術を洗練化した．
実施項目3: 実証実験(担当: 鄭，本位田) 実施項目1,2で構築した技術を， 以前に開発した実行時モデルフレームワーク上に反映し，実証実験を通して確立した技術の有用性，限界を評価した．2019年度にはクローズドな環境で動作する自動倉庫管理システムを対象とした実験を行い，想定漏れの変化に対する品質維持能力や実行時モデル更新のオーバヘッドを評価した．
実施項目1: 環境モデルの実行時更新技術の確立(担当：鄭) 実施項目3の結果に基づき，2018年度に開発したLTSベースの環境モデル実行時更新技術を洗練化した．
実施項目2: 保証を伴う動作仕様の実行時導出技術の確立(担当：鄭) 実施項目3の結果に基づき，2018年度に開発した保証を伴う動作仕様の実行時導出技術を洗練化した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
モデル検査技術の世界的権威であるDong教授から本研究の要素技術である実行時モデリング技術に関する改善アドバイスをうけ，手法の改善を行わなければ十分な品質改善が望めず研究目的を達成できないため，手法の改良と追加の評価実験を行う期間を延長する必要が生じ，2020年7月まで行うこととした．計画は変更となったが，計画変更により要素技術の確立と初期評価いう当初の大きな目標は達成できており，概ね順調に研究は進展している．
|
| Strategy for Future Research Activity |
本研究では想定漏れの変化に耐えるGraceful Degradationを実現する実行時モデル更新技術を確立(実施項目1,2)し，その技術を反映した実行 時モデルフレームワークを用いた実証実験(実施項目3)により本手法の有効性と限界を明らかにする．2020年度は，2019年度に実施した初回の評価実験の結果に基づき，各要素技術の洗練化を行う．
実施項目1: 環境モデルの実行時更新技術の確立(担当：鄭) 実施項目3の結果に基づき，LTSベースの環境モデル実行時更新技術を洗練化する．
実施項目2: 保証を伴う動作仕様の実行時導出技術の確立(担当：鄭) 実施項目3の結果に基づき，保証を伴う動作仕様の実行時導出技術を洗練化する．
実施項目3: 実証実験(担当: 鄭，本位田) 実施項目1,2で洗練化した技術を， 以前に開発した実行時モデルフレームワーク上に反映，実装する．
|
