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

AutoCPS

Financiado

Cerrado

Automated Synthesis of Cyber Physical Systems A Compositional Approach

Embedded Control software plays a critical role in many safety-critical applications. For instance, modern vehicles use interacting software and hardware components to control steering and braking. Control software forms the main... ver más

31/01/2024

LMU MUENCHEN

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

LUDWIGMAXIMILIANSUNIVERSITAET 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-01-31

ERC-2018-STG: ERC Starting Grant

I+D

Cerrada hace 7 años

0% 100% 100%

Información adicional privada

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

2 Participantes

LMU MUENCHEN

1.47M€ | Lider

REINER E HIJOS SL

325.32K€ | Participante

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

TIN2014-56158-C4-1-P SISTEMAS CIBER-FISICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS... 64K€ Cerrado

TIN2014-56158-C4-3-P SISTEMAS CIBER-FISICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS... 89K€ Cerrado

TIN2014-56158-C4-2-P SISTEMAS CIBER-FISICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS... 68K€ Cerrado

PRYSTINE Programmable Systems for Intelligence in Automobiles 50M€ Cerrado

NewControl Integrated Fail Operational Cognitive Perception Planning... 37M€ Cerrado

XANDAR X by Construction Design framework for Engineering Autonomou... 5M€ Cerrado

Duración del proyecto: 61 meses Fecha Inicio: 2018-12-07
Fecha Fin: 2024-01-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 1M€

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

Descripción del proyecto Embedded Control software plays a critical role in many safety-critical applications. For instance, modern vehicles use interacting software and hardware components to control steering and braking. Control software forms the main core of autonomous transportation, power networks, and aerospace. These applications are examples of cyber-physical systems (CPS), where distributed software systems interact tightly with spatially distributed physical systems with complex dynamics. CPS are becoming ubiquitous due to rapid advances in computation, communication, and memory. However, the development of core control software running in these systems is still ad hoc and error-prone and much of the engineering costs today go into ensuring that control software works correctly. In order to reduce the design costs and guaranteeing its correctness, I aim to develop an innovative design process, in which the embedded control software is synthesized from high-level correctness requirements in a push-button and formal manner. Requirements for modern CPS applications go beyond conventional properties in control theory (e.g. stability) and in computer science (e.g. protocol design). Here, I propose a compositional methodology for automated synthesis of control software by combining compositional techniques from computer science (e.g. assume-guarantee rules) with those from control theory (e.g. small-gain theorems). I will leverage decomposition and abstraction as two key tools to tackle the design complexity, by either breaking the design object into semi-independent parts or by aggregating components and eliminating unnecessary details. My project is high-risk because it requires a fundamental re-thinking of design techniques till now studied in separate disciplines. It is high-gain because a successful method for automated synthesis of control software will make it finally possible to develop complex yet reliable CPS applications while considerably reducing the engineering cost.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores