2019 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年度は,(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
令和2年度の研究実績の各項目について,年度当初の研究実施計画のサブテーマ1~5に記載した内容を,おおむね達成できているため.
|
| Strategy for Future Research Activity |
今後は,研究計画調書に記載した計画の通りに推進する予定である.
|
Research Products
(118 results)
