A Study on Self-transformation Mechanism for Handling Unexpected Changes

• Project/Area Number: 25K03099
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Okayama University
• Principal Investigator: 中川 博之 岡山大学, 環境生命自然科学学域, 教授 (40508834)
• Co-Investigator(Kenkyū-buntansha): 鵜林 尚靖 早稲田大学, 理工学術院, 教授(任期付) (80372762) ; 土屋 達弘 大阪大学, 大学院情報科学研究科, 教授 (30283740)
• Project Period (FY): 2025-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥18,720,000 (Direct Cost: ¥14,400,000、Indirect Cost: ¥4,320,000); Fiscal Year 2028: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2027: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000); Fiscal Year 2026: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000); Fiscal Year 2025: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
• Keywords: 自己変身 / ゴールモデル / LLM / 確率的モデル検査 / プログラム生成

Outline of Research at the Start

実世界に密着しているIoTシステムは、設計時において想定されていなかった外界の変化、つまり想定外の環境変化や要求変化にも速やかに応じることが望まれる。そのために、運用中において、現在のプログラムでは対応できない変化に直面した際に、変化に対応できる適切な代替プログラムを速やかに検索して交換するといった機能（以下、変身機能と略す）が求められる。本研究では、自らが適切な代替IoTプログラムとの交換によって、自己を更新することのできるシステムを自己変身システムと呼ぶ。本研究の目的は、自己変身システムを実現するためのメカニズムと開発法を提案することにある。