Open Challenges in the Formal Verification of Autonomous Driving
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910708198801408 |
|---|---|
| author | Burgio, Paolo Ferrando, Angelo Villani, Marco |
| author_facet | Burgio, Paolo Ferrando, Angelo Villani, Marco |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_14520 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Open Challenges in the Formal Verification of Autonomous Driving Burgio, Paolo Ferrando, Angelo Villani, Marco Software Engineering Artificial Intelligence Distributed, Parallel, and Cluster Computing Robotics 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. |
| title | Open Challenges in the Formal Verification of Autonomous Driving |
| topic | Software Engineering Artificial Intelligence Distributed, Parallel, and Cluster Computing Robotics |
| url | https://arxiv.org/abs/2411.14520 |