Trustworthy Cyber-Physical Systems via Contracts for AI-Enabled Perception

• Project/Area Number: 26K21195
• Research Category: Grant-in-Aid for Early-Career Scientists
• Allocation Type: Multi-year Fund
• Review Section: Basic Section 60050:Software-related
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: Hsieh Chiao (謝橋) 北陸先端科学技術大学院大学, 先端科学技術研究科, 特任助教 (71006426)
• Project Period (FY): 2026-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2026)
• Budget Amount: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000); Fiscal Year 2028: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2027: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2026: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
• Keywords: 形式検証 / サイバーフィジカルシステム / ソフトウェア検証 / 人工知能

Outline of Research at the Start

Verification and validation (V&V) of cyber-physical systems (CPS) is a crucial procedure for building trustworthy safety-critical systems such as self-driving cars. Recently, Artificial Intelligence (AI) in CPS further leads to the black-box AI problem and hard-to-formalize perceptual tasks. Perception contracts address these difficulties by specifying guarantees of AI perception under assumed environments. Studying contracts for AI perception can help us understand expected capabilities and limitations of AI under different and changing scenarios to increase the trustworthiness of CPS and AI.