COCONUT
A correct-by-construction workbench for design and verification of embedded systems
| Coordinatore | UNIVERSITA DEGLI STUDI DI VERONA
Organization address
address: Strada le Grazie 15 contact info |
| Nazionalità Coordinatore | Italy [IT] |
| Totale costo | 3˙346˙784 € |
| EC contributo | 2˙550˙000 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Funding Scheme | CP |
| Anno di inizio | 2008 |
| Periodo (anno-mese-giorno) | 2008-01-01 - 2010-06-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
UNIVERSITA DEGLI STUDI DI VERONA
Organization address
address: Strada le Grazie 15 contact info |
IT (VERONA) | coordinator | 0.00 |
| 2 |
AERIELOGIC SARL
Organization address
address: 4 AVENUE DE CAMBRIDGE, IMMEUBLE ODYSSE, CITIS contact info |
FR (HEROUVILLE ST CLAIR) | participant | 0.00 |
| 3 |
CERTESS S.A.
Organization address
address: 340 RUE DE L'EYGALA - LE XENON contact info |
FR (MOIRANS) | participant | 0.00 |
| 4 |
COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
Organization address
address: BATIMENT LE PONANT D, 25 RUE LEBLANC contact info |
FR (PARIS CEDEX 15) | participant | 0.00 |
| 5 |
EDALAB SRL
Organization address
address: Strada le Grazie contact info |
IT (VERONA) | participant | 0.00 |
| 6 |
FONDAZIONE BRUNO KESSLER
Organization address
address: VIA SANTA CROCE 77 contact info |
IT (TRENTO) | participant | 0.00 |
| 7 |
TECHNISCHE UNIVERSITAET GRAZ
Organization address
address: RECHBAUERSTRASSE 12 contact info |
AT (GRAZ) | participant | 0.00 |
| 8 |
UNIVERSITAET PADERBORN
Organization address
address: WARBURGER STRASSE 100 contact info |
DE (PADERBORN) | participant | 0.00 |
| 9 |
UNIVERSITY COLLEGE DUBLIN, NATIONAL UNIVERSITY OF IRELAND, DUBLIN
Organization address
address: Belfield Campus contact info |
IE (DUBLIN) | participant | 0.00 |
| 10 |
UNIVERSITY OF SOUTHAMPTON
Organization address
address: HIGHFIELD contact info |
UK (SOUTHAMPTON) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies. This effectively reduces development productivity and complicates achieving predictable system properties.
The COCONUT project thus focuses on the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and software compilation. In particular, it is intended to propose a modelling and verification flow to enhance and speed-up embedded platform design and configuration with particular regard to application fields related to mixed continuous/discrete models, like for example networked multimedia and sensor network managing.
In this context, the main activities of COCONUT will be related to the definition of innovative methodologies and tools to: - define and validate properties that represent the design specification; - automatically synthesize properties into code; - map models between hybrid and discrete domains; - provide correct-by-construction abstraction/refinement processes; - perform post-refinement verification.
Such activities will be implemented in a set of tools working on more that one abstraction level whose correctness will be formally proved.