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

VeriStab

Financiado

Cerrado

Formal Verification of Stability of Embedded Control Systems

Building high confidence embedded control systems is a grand challenge today. A fundamental property expected out of every control system design is stability, which captures the notion that small perturbations in the initial state... ver más

28/02/2018

IMDEA SOFTWARE INS...

100K€

Presupuesto del proyecto: 100K€

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

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 2018-02-28 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

IMDEA SOFTWARE INSTITUTE

0.00€ | Lider

Proyectos interesantes

DYNAGALS

Embedded System...

Software

112K€ Cerrado

COCONUT

Embedded System...

Software

3M€ Cerrado

EQUALIS

Software

Embedded System...

1M€ Cerrado

DESTECS

Embedded System...

Software

4M€ Cerrado

TIN2011-28567-C03-01

Embedded System...

Software

176K€ Cerrado

TIN2011-28567-C03-02

Embedded System...

Software

120K€ 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

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

Presupuesto del proyecto 100K€

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

Descripción del proyecto Building high confidence embedded control systems is a grand challenge today. A fundamental property expected out of every control system design is stability, which captures the notion that small perturbations in the initial state or input to the system result in only small variations in the eventual behavior of the system. Systems which do not possess this property are operationally critical and could lead to catastrophic consequences. The main goal of the project is to develop automated formal techniques for verifying stability of embedded control systems. The project proposes a novel approach for stability verification - the application of model-checking, a successful verification paradigm from the formal methods field, to stability verification. In contrast to existing techniques which are deductive, the approach taken in the project is algorithmic. This will facilitate the development of fully automated and scalable methods for stability verification, thereby addressing the shortcomings of the state-of-the-art deductive techniques. An algorithmic approach to stability verification is a challenging task, since, even fundamental notions for abstraction and composition, which form the backbone of scalable algorithmic verification, have not been well explored. In this project, we propose a three phase plan from developing theoretical foundations to algorithm design and software tool development.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores