Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

CertiCar

Financiado

Automated Synthesis of Certifiable Control Software for Autonomous Vehicles

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 r... ver más

31/07/2025

LMU MUENCHEN

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

LUDWIGMAXIMILIANSUNIVERSITAET MUENCHEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-12-18

ERC-2023-POC: ERC PROOF OF CONCEPT GRANTS Objective:Objectives:The ERC Proof of Concept Grants aim at facilitating exploration of the commerci...

I+D

Cerrada hace 1 año

0% 100% 100%

1 Participantes

LMU MUENCHEN

150.00K€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

TrustVehicle Improved trustworthiness and weather independence of conditi... 5M€ Cerrado

RobustSENSE Robust and Reliable Environment Sensing and Situation Predic... 9M€ Cerrado

PCI2019-103791 SISTEMAS INTEGRADOS, TOLERANTES A FALLOS DE PERCEPCION, PLAN... 150K€ Cerrado

FJC2019-041505-I Real-time analysis and optimization of state-of-the-art Auto... 50K€ Cerrado

PCI2019-103793 INTEGRATED, FAIL-OPERATIONAL, COGNITIVE PERCEPTION, PLANNING... 150K€ Cerrado

Duración del proyecto: 19 meses Fecha Inicio: 2023-12-18
Fecha Fin: 2025-07-31

Líder del proyecto

LUDWIGMAXIMILIANSUNIVERSITAET MUENCHEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 150K€

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvide mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores