SubsidieMeestersAutomated Synthesis of Certifiable Control Software for Autonomous Vehicles
CertiCar aims to develop a reliable, formally correct advanced collision avoidance system to enhance safety and reduce testing time for autonomous vehicle control software.
Projectdetails
Introduction
Autonomous driving is a dominant technological theme of the 21st century, with vehicles from various car manufacturers equipped with different levels of autonomy. However, the implementation of safe and reliable control software remains a critical challenge for car manufacturers before fully autonomous vehicles become a reality.
Challenges in Current Systems
The current lack of reliability in autonomous vehicle software is mainly attributed to the absence of formal correctness. Design requirements are not expressed in a formal language, leading to ambiguity and false implementations.
Human Factors
Furthermore, human factors from engineers to developers increase the likelihood of errors, and testing scenarios are limited, leaving many edge cases untested. Immature control software leading to accidents undermines public trust in autonomous vehicles and impedes further development.
Proposed Solution
We propose leveraging our ongoing ERC project AutoCPS research to create robust, reliable, and formally correct automotive control software. CertiCar proposes a software development framework that automates control software generation and guarantees its robustness and reliability.
Importance of ACAS
A reliable advanced collision avoidance system (ACAS) is a fundamental requirement for future autonomous vehicles, significantly reducing the number of accidents, injuries, and fatalities.
Project Goals
CertiCar's PoC project aims to provide a correct-by-design ACAS with guaranteed correctness, reducing testing time by several orders of magnitude for car companies. This represents an initial step toward a complete software stack for a certifiable autonomous car.
Financiële details & Tijdlijn
Financiële details
| Subsidiebedrag | € 150.000 |
| Totale projectbegroting | € 150.000 |
Tijdlijn
| Startdatum | 1-2-2024 |
| Einddatum | 31-7-2025 |
| Subsidiejaar | 2024 |
Partners & Locaties
Projectpartners
- LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHENpenvoerder
Land(en)
Vergelijkbare projecten binnen European Research Council
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
MANUNKIND: Determinants and Dynamics of Collaborative ExploitationThis project aims to develop a game theoretic framework to analyze the psychological and strategic dynamics of collaborative exploitation, informing policies to combat modern slavery. | ERC STG | € 1.497.749 | 2022 | Details |
Elucidating the phenotypic convergence of proliferation reduction under growth-induced pressureThe UnderPressure project aims to investigate how mechanical constraints from 3D crowding affect cell proliferation and signaling in various organisms, with potential applications in reducing cancer chemoresistance. | ERC STG | € 1.498.280 | 2022 | Details |
Uncovering the mechanisms of action of an antiviral bacteriumThis project aims to uncover the mechanisms behind Wolbachia's antiviral protection in insects and develop tools for studying symbiont gene function. | ERC STG | € 1.500.000 | 2023 | Details |
The Ethics of Loneliness and SociabilityThis project aims to develop a normative theory of loneliness by analyzing ethical responsibilities of individuals and societies to prevent and alleviate loneliness, establishing a new philosophical sub-field. | ERC STG | € 1.025.860 | 2023 | Details |
MANUNKIND: Determinants and Dynamics of Collaborative Exploitation
This project aims to develop a game theoretic framework to analyze the psychological and strategic dynamics of collaborative exploitation, informing policies to combat modern slavery.
Elucidating the phenotypic convergence of proliferation reduction under growth-induced pressure
The UnderPressure project aims to investigate how mechanical constraints from 3D crowding affect cell proliferation and signaling in various organisms, with potential applications in reducing cancer chemoresistance.
Uncovering the mechanisms of action of an antiviral bacterium
This project aims to uncover the mechanisms behind Wolbachia's antiviral protection in insects and develop tools for studying symbiont gene function.
The Ethics of Loneliness and Sociability
This project aims to develop a normative theory of loneliness by analyzing ethical responsibilities of individuals and societies to prevent and alleviate loneliness, establishing a new philosophical sub-field.
Vergelijkbare projecten uit andere regelingen
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
SUrrogate measures for SAFE autonomous and connected mobilitySUperSAFE aims to develop a proactive safety evaluation method for the interaction between conventional and connected automated vehicles to enhance traffic safety and support European zero-fatality goals. | ERC STG | € 1.500.000 | 2023 | Details |
Automated Synthesis of Stochastic Cyber-Physical Systems: A Robust ApproachThis project aims to revolutionize the design of cyber-physical systems by automating robust control software synthesis from high-level requirements, enhancing reliability and reducing costs in safety-critical applications. | ERC COG | € 1.993.756 | 2023 | Details |
Autonomous Robots with Common SenseThis project aims to develop an 'Artificial Physical Awareness' autopilot system for autonomous robots, enabling them to operate safely and effectively despite failures by understanding their limitations. | ERC COG | € 1.996.040 | 2024 | Details |
Fail-operational safety – making autonomous vehicles a realityChassis Autonomy aims to finalize a fail-operational steer-by-wire system for fully autonomous vehicles, enabling driverless technology and targeting market launch in two years. | EIC Accelerator | € 2.497.305 | 2023 | Details |
SUrrogate measures for SAFE autonomous and connected mobility
SUperSAFE aims to develop a proactive safety evaluation method for the interaction between conventional and connected automated vehicles to enhance traffic safety and support European zero-fatality goals.
Automated Synthesis of Stochastic Cyber-Physical Systems: A Robust Approach
This project aims to revolutionize the design of cyber-physical systems by automating robust control software synthesis from high-level requirements, enhancing reliability and reducing costs in safety-critical applications.
Autonomous Robots with Common Sense
This project aims to develop an 'Artificial Physical Awareness' autopilot system for autonomous robots, enabling them to operate safely and effectively despite failures by understanding their limitations.
Fail-operational safety – making autonomous vehicles a reality
Chassis Autonomy aims to finalize a fail-operational steer-by-wire system for fully autonomous vehicles, enabling driverless technology and targeting market launch in two years.