Project description
Reliable automotive control software for autonomous vehicles
Autonomous driving stands as a crucial technological advancement of the century, marked by various levels of autonomy integrated into vehicles by different manufacturers. However, the absence of formal correctness in design requirements, limited testing scenarios, and human error have resulted in unreliable autonomous vehicle software, eroding public trust, and hindering further progress. The ERC-funded CertiCar project aims to develop a robust and dependable Advanced Collision Avoidance System with guaranteed correctness, thereby reducing accidents, injuries, and fatalities. The project seeks to significantly reduce testing time for car companies by several orders of magnitude and represents the initial stride toward establishing a comprehensive software stack for a certifiable autonomous vehicle.
Objective
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. 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. 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. 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. A reliable advanced collision avoidance system (ACAS) is a fundamental requirement for future autonomous vehicles, significantly reducing the number of accidents, injuries, and fatalities. 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, and represents an initial step toward a complete software stack for a certifiable autonomous car.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
This project's classification has been validated by the project's team.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
This project's classification has been validated by the project's team.
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
HORIZON.1.1 - European Research Council (ERC)
MAIN PROGRAMME
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
HORIZON-ERC-POC - HORIZON ERC Proof of Concept Grants
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) ERC-2023-POC
See all projects funded under this callHost institution
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
80539 MUNCHEN
Germany
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.