CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
CertiCar focuses on developing reliable control software for autonomous vehicles to enhance safety and performance. The project aims to automate the software generation process, ensuring formal correctness and robustness, particularly for advanced collision avoidance systems.
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 form…
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
