VERISTAB

Formal Verification of Stability of Embedded Control Systems

Coordinatore	FUNDACION IMDEA SOFTWARE    more  Organization address address: LUGAR CAMPUS DE MONTEGANCEDO . city: MADRID postcode: 28660 contact info Titolo: Mr. Nome: Juan José Cognome: Collazo Nieto Email: send email Telefono: 34911012202 Fax: 34911011358
Nazionalità Coordinatore	Spain [ES]
Totale costo	100˙000 €
EC contributo	100˙000 €
Programma	FP7-PEOPLE Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	FP7-PEOPLE-2013-CIG
Funding Scheme	MC-CIG
Anno di inizio	2014
Periodo (anno-mese-giorno)	2014-03-01   -   2018-02-28

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	FUNDACION IMDEA SOFTWARE  Organization address address: LUGAR CAMPUS DE MONTEGANCEDO . city: MADRID postcode: 28660 contact info Titolo: Mr. Nome: Juan José Cognome: Collazo Nieto Email: send email Telefono: 34911012202 Fax: 34911011358	ES (MADRID)	coordinator	100˙000.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

'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.'