| Project/Area Number |
16F16805
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 外国 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
石川 冬樹 (2018) 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
鄭 顕志 (2016-2017) 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (40434295)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HARVEY PAUL 国立情報学研究所, アーキテクチャ科学研究系, 外国人特別研究員
|
|---|
| Project Period (FY) |
2016-11-07 – 2019-03-31
|
| Project Status |
Completed (Fiscal Year 2018)
|
| Budget Amount *help |
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 2018: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2017: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2016: ¥300,000 (Direct Cost: ¥300,000)
|
|---|
| Keywords | 自己適応 / ソフトウェア検証 / アクターモデル / Session Type / 自己適応システム |
|---|
| Outline of Annual Research Achievements |
IoT環境で動作するアプリケーションなどでは，ハードウェア故障，ネットワーク切断，制御対象となる物理環境の変化など，実行時に様々な変化が起こりうるため，これらに耐えるような適用性が求められる．複数の機器にまたがり多数のプロセスが動作する中で，安全性等の観点で正しさが担保された適応動作を実現する必要がある．
本研究ではこのような適応動作を支援するための技術として，3つの取り組みを行った．第一に，様々なサービス，プロセス，機能オペレーションを統合したアプリケーションを開発するためのEnsemble言語を対象とし，実行時において，第三者により独立に開発された機能の発見，配備，置き換え，および相互作用を行うための機構を実現した．次に，上記のEnsemble言語に対して，Session Typeを扱うように拡張を行うことで，検証を実現可能にした．最後に，C++ Actor Frameworkという実用性の高い実装を対象とし，機械学習技術を活用して，機能部品の自動置き換え機能を実現した．
以上の取り組みにより，安全性を担保しつつ，効率性の高い自己適応の実現を支援する機構を確立することができた．Session Typeという理論的基盤に基づいた安全性検証を行う一方で，機械学習技術も用いて実践的な実証を行うことでき，自己適応のための包括的な枠組みを示すことができた．
|
| Research Progress Status |
平成30年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
平成30年度が最終年度であるため、記入しない。
|
