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

OSARES

Financiado

Cerrado

Output Sensitive Algorithms for Reactive Synthesis

Reactive synthesis has the potential to revolutionize the development of distributed embedded systems. From a given logical specification, the synthesis algorithm automatically constructs an implementation that is correct-by-desig... ver más

31/12/2021

CISPA HELMHOLTZZE...

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

CISPA HELMHOLTZZENTRUM FUR INFORMATIONSSICHE... 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 3 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2021-12-31

ERC-CoG-2015: ERC Consolidator Grant

I+D

Cerrada hace 9 años

0% 100% 100%

Información adicional privada

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

3 Participantes

CISPA HELMHOLTZZENTRUM FUR...

198.60K€ | Lider

NUEVO URBANISMO Y CALIDAD DE...

250.60K€ | Participante

USAAR

1.80M€ | 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

MEDEIA Model Driven Embedded System Design Environment nfor the Ind... 3M€ Cerrado

TIN2009-11326 REDE BAYESIANAS PARA LA DIAGNOSIS DE SISTEMAS HIBRIDOS 79K€ Cerrado

PTQ2018-009752 Computing for Distributed Robotics Embedded Adaptive Modular... 115K€ Cerrado

DPI2009-08102 ENTORNO DE DESARROLLO INTEGRADO DISTRIBUIDO PARA SISTEMAS DE... 97K€ Cerrado

PTQ-10-03389 Diseño e implementación de un sistema de computación autónom... 55K€ Cerrado

DPI2015-67341-C2-1-R DESARROLLO DE TECNICAS DE CONTROL PREDICTIVO JERARQUICO BASA... 159K€ Cerrado

Duración del proyecto: 66 meses Fecha Inicio: 2016-06-21
Fecha Fin: 2021-12-31

Líder del proyecto

CISPA HELMHOLTZZENTRUM FUR INFORMATIONSSICHE... 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 Reactive synthesis has the potential to revolutionize the development of distributed embedded systems. From a given logical specification, the synthesis algorithm automatically constructs an implementation that is correct-by-design. The vision is that a designer analyzes the design objectives with a synthesis tool, automatically identifies competing or contradictory requirements and obtains an error-free prototype implementation. Coding and testing, the most expensive stages of development, are eliminated from the development process. Recent case studies from robotic control and from hardware design, such as the automatic synthesis of the AMBA AHB bus controller, demonstrate that this vision is in principle feasible. So far, however, synthesis does not scale to large systems. Even if successful, it produces code that is much larger and much more complicated than the code produced by human programmers for the same specification. Our goal is to address both of these fundamental shortcomings at the same time. We will develop output-sensitive synthesis algorithms, i.e. algorithms that, in addition to optimal performance in the size of the specification, also perform optimally in the size and structural complexity of the implementation. Target applications for our algorithms come from both the classic areas of reactive synthesis, such as hardware circuits, and from new and much more challenging application areas such as the distributed control and coordination of autonomous vehicles and manufacturing robots, which are far beyond the reach of the currently available synthesis algorithms.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores