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

justITSELF

Financiado

Cerrado

Just in time Self Verification of Autonomous Systems

Engineers and computer scientists are currently developing autonomous systems whose entire set of behaviors in future, untested situations is unknown: How can a designer foresee all situations that an autonomous road vehicle, a ro... ver más

30/06/2024

TUM

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

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

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2024-06-30

ERC-2018-COG: ERC Consolidator Grant

I+D

Cerrada hace 6 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

2 Participantes

TUM

2.00M€ | Lider

CASTELLANA DE CARNES

792.06K€ | Participante

Proyectos interesantes

SESAME

Robotics and Au...

Software

7M€ Cerrado

Robust And Safe Reasoning Robotic Co-Operativ...

Robotics and Au...

Artificial Inte...

150K€ Cerrado

DPI2014-56985-R

Robotics and Au...

Cybersecurity

263K€ Cerrado

SAS

Robotics and Au...

Cybersecurity

4M€ Cerrado

RoboSAPIENS

Robotics and Au...

Software

7M€ Cerrado

SURE

Robotics and Au...

Cybersecurity

178K€ Cerrado

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

Duración del proyecto: 65 meses Fecha Inicio: 2019-01-14
Fecha Fin: 2024-06-30

Líder del proyecto

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

TRL 4-5

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Engineers and computer scientists are currently developing autonomous systems whose entire set of behaviors in future, untested situations is unknown: How can a designer foresee all situations that an autonomous road vehicle, a robot in a human environment, an agricultural robot, or an unmanned aerial vehicle will face? Keeping in mind that all these examples are safety-critical, it is irresponsible to deploy such systems without testing all possible situations---this, however, seems impossible since even the most important possible situations are unmanageably many. I propose a paradigm shift that will make it possible to guarantee safety in unforeseeable situations: Instead of verifying the correctness of a system before deployment, I propose just-in-time verification, a new, to-be-developed verification paradigm where a system continuously checks the correctness of its next action by itself in its current environment (and only in it) in a just-in-time manner. Since future autonomous systems will have a tight interconnection of discrete computing and continuous physical elements, also known as cyber-physical systems, I will develop just-in-time verification for this system class. In order to prove correct behavior of cyber-physical systems, I will develop new formal verification techniques that efficiently compute possible future behaviors---subject to uncertain initial states, inputs, and parameters---within a small time horizon. Just-in-time verification will substantially cut development costs, increase the autonomy of systems (e.g., the range of deployment of automated driving systems), and reduce or even eliminate certain liability claims. The results will be implemented in an open-source software framework and will be primarily demonstrated for automated driving. Successful development of just-in-time verification techniques is yet more challenging than offline verification of autonomous systems, but expected to bring even greater rewards.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores