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

INVEST

Financiado

Cerrado

inVEST Foundations for a Shift from Verification to Synthesis

Reactive systems are computer systems that maintain a continuous interaction with the environment in which they execute. Examples of reactive systems are controllers embedded in cars or planes, system level software, device drive... ver más

30/09/2017

ULB

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

UNIVERSITE LIBRE DE BRUXELLES 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.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2017-09-30 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

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

1 Participantes

ULB

0.00€ | 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

MOGENTES Model based Generation of Tests for Dependable Embedded Syst... 4M€ Cerrado

DYNAGALS Formal design methods for globally asynchronous locally sync... 112K€ Cerrado

COEMS Continuous Observation of Embedded Multicore Systems 4M€ Cerrado

COCONUT A Correct by Construction Workbench for Design and Verificat... 3M€ Cerrado

VASSAL Verification and Analysis for Safety and Security of Applica... Cerrado

DESTECS Design Support and Tooling for Embedded Control Software 4M€ Cerrado

Líder del proyecto

UNIVERSITE LIBRE DE BRUXELLES 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 Reactive systems are computer systems that maintain a continuous interaction with the environment in which they execute. Examples of reactive systems are controllers embedded in cars or planes, system level software, device drivers, communication protocols, etc. On the one hand, those systems are notoriously difficult to develop correctly (because of characteristics like concurrency, real-time constraints, parallelism, etc). And on the other hand, their correctness is often critical as they are used in contexts where safety is an issue, or because of economical reasons related to mass production. To ensure reliability of reactive systems, advanced verification techniques have been developed. One particularly successful approach is model-checking. Nevertheless, model-checking is used to find bugs in designs but it does not support the design itself. In this project, we want to develop new algorithms and tools to support the automatic synthesis of modern reactive systems (instead of their verification a posteriori). We aim at a shift from verification to synthesis. To allow this shift, we need new foundations: we propose to generalize transition systems and automata – models of computation in the classical approach to verification – by the more flexible, and mathematically deeper, game-theoretic framework. Our work will be of fundamental nature but will also aim at the development of algorithms and tools. Those new foundations will allow for the development of a new generation of computer-aided design tools that will support the automatic synthesis of modern reactive systems and ensure correctness by construction.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores