2021 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)
中川 博之 大阪大学, 情報科学研究科, 准教授 (40508834)
石川 冬樹 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
一色 正男 神奈川工科大学, 創造工学部, 教授 (90567364)
|
|---|
| Project Period (FY) |
2018-04-01 – 2022-03-31
|
| Keywords | 自己適応システム / IoT / 自律協調システム / 形式検証 / セキュリティ・プライバシ |
|---|
| Outline of Annual Research Achievements |
令和2，3年度は，(1) 個々の機器が検知できない環境変化に対し，他の機器が問題の機器の振舞いを監視し，環境変化の有無をそれらの機器が慎重に相談し合った上で気づくための協調手法の実験・評価・洗練を行い，(2) 機器単体では対応できない環境変化に対し，自己適応機構同士で協調して適応する手法の実験・評価・洗練を行い，(3) 複雑なシステムの振舞いが正しく機能することを保証する技術として有望視されている形式検証を適用することにより，協調動作が正しく機能するかどうかを検証する手法の実験・評価・洗練を行い，(4) 協調動作を行う自己適応機構によるものも含め，IoT システムにおけるプライバシ侵害を防止する仕組みの実験・評価・洗練を行い，(5) (1)〜(4) の各機構・手法を統合した，IoT向け自律協調自己適応ミドルウェアとアプリケーションの開発および実験・評価を行った．
|
| Research Progress Status |
令和3年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和3年度が最終年度であるため、記入しない。
|
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis2021
Author(s)
Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, and Kenji Tei
Organizer
14th IEEE International Conference on Internet of Things (IEEE iThings-2021)
Int'l Joint Research
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
