Research on Model Checking of the Trinity Model in High-Reliability IoT Systems

• Project/Area Number: 25K15072
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60060:Information network-related
• Research Institution: Ibaraki University
• Principal Investigator: 高橋 竜一 茨城大学, 応用理工学野, 講師 (10547061)
• Project Period (FY): 2025-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2028: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2027: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2026: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2025: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
• Keywords: IoT / モデル検査 / 高信頼システム / 安全性検証 / 機械学習

Outline of Research at the Start

本研究は，IoTシステムの安全性を高精度かつ効率的に評価するためのモデル検査手法を提案するものである．環境・システム・人の3要素からなる検査モデルを定義し，それらを統合する木構造モデルによりシステム全体を表現する．さらに，検査に必要な確率パラメータを機械学習によって自動推定し，環境変化に対応した検査を実現する．本研究により，高信頼性が求められる社会基盤を支えるIoTシステムの安全性・信頼性の向上に貢献することを目指す．