Open Challenges in the Formal Verification of Autonomous Driving

要約

自動運転の分野では、非常に複雑で異種システムの開発と統合が標準的な手法です。
現代の車両はモノリシック システムではありません。
代わりに、それらはさまざまなハードウェア コンポーネントで構成されており、それぞれが独自のソフトウェア システムを実行します。
自動運転車は多数の独立したコンポーネントで構成されており、多くの場合、異なる企業や潜在的に競合する企業によって開発されています。
この多様性は、内部動作 (ブラックボックス) を開示しない可能性のあるコンポーネントを認証する必要があるため、認証プロセスに重大な課題をもたらします。
この論文では、自動運転システムの実世界のケーススタディを紹介し、その開発と統合に関連する主要な未解決の課題を特定し、形式的検証技術がこれらの課題にどのように対処してシステムの信頼性と安全性を確保できるかを検討します。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google