自動運転の形式検証における未解決課題
Open Challenges in the Formal Verification of Autonomous Driving
自動運転システムの実例をもとに、ブラックボックス部品を含む複雑なシステムの認証に向けた形式検証の課題を整理した論文。
著者: Paolo Burgio, Angelo Ferrando, Marco Villani
分類: cs.SE, cs.AI, cs.DC, cs.RO
原文アブストラクト
In the realm of autonomous driving, the development and integration of highly complex and heterogeneous systems are standard practice. Modern vehicles are not monolithic systems; instead, they are composed of diverse hardware components, each running its own software systems. An autonomous vehicle comprises numerous independent components, often developed by different and potentially competing companies. This diversity poses significant challenges for the certification process, as it necessitates certifying components that may not disclose their internal behaviour (black-boxes). In this paper, we present a real-world case study of an autonomous driving system, identify key open challenges associated with its development and integration, and explore how formal verification techniques can address these challenges to ensure system reliability and safety.
