2018 Fiscal Year Annual Research Report
Research on autonomous cooperative self-adaptation mechanisms and formal verification of them
| Project/Area Number |
18H03229
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
田原 康之 電気通信大学, 大学院情報理工学研究科, 准教授 (30390602)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
清 雄一 電気通信大学, 大学院情報理工学研究科, 准教授 (20700157)
鄭 顕志 早稲田大学, 理工学術院, 准教授(任期付) (40434295)
石川 冬樹 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
中川 博之 大阪大学, 情報科学研究科, 准教授 (40508834)
一色 正男 神奈川工科大学, 創造工学部, 教授 (90567364)
|
|---|
| Project Period (FY) |
2018-04-01 – 2022-03-31
|
| Keywords | 自己適応システム / IoT / 自律協調システム / 形式検証 / セキュリティ・プライバシ |
|---|
| Outline of Annual Research Achievements |
平成30，令和元年度は，(1) 個々の機器が検知できない環境変化に対し，他の機器が問題の機器の振舞いを監視し，環境変化の有無をそれらの機器が慎重に相談し合った上で気づくための協調手法の設計を行った後開発を開始し，(2) 機器単体では対応できない環境変化に対し，自己適応機構同士で協調して適応する手法の設計を行った後開発を開始し，(3) 複雑なシステムの振舞いが正しく機能することを保証する技術として有望視されている形式検証を適用することにより，協調動作が正しく機能するかどうかを検証する手法の設計を行った後開発を開始し，(4) 協調動作を行う自己適応機構によるものも含め，IoT システムにおけるプライバシ侵害を防止する仕組みの設計を行った後開発を開始し，(5) (1)～(4) の各機構・手法を統合した，IoT向け自律協調自己適応ミドルウェアの設計を進めた．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
平成30，令和元年度の研究実績の各項目について，年度当初の研究実施計画のサブテーマ1～5に記載した内容を，おおむね達成できているため．
|
| Strategy for Future Research Activity |
今後は，研究計画調書に記載した計画の通りに推進する予定である．
|
Research Products
(123 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Modelling and Analysing Resilient Cyber-Physical Systems2019
Author(s)
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, et al.
Organizer
the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
Int'l Joint Research
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
