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
city: VERONA
postcode: 37134

contact info
Titolo: Professor
Nome: Franco
Cognome: FUMMI
Email: send email
Telefono: -458027955
Fax: -458027029

 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

# participant  country  role  EC contrib. [€] 
1    UNIVERSITA DEGLI STUDI DI VERONA

 Organization address address: Strada le Grazie 15
city: VERONA
postcode: 37134

contact info
Titolo: Professor
Nome: Franco
Cognome: FUMMI
Email: send email
Telefono: -458027955
Fax: -458027029

IT (VERONA) coordinator 0.00
2    AERIELOGIC SARL

 Organization address address: 4 AVENUE DE CAMBRIDGE, IMMEUBLE ODYSSE, CITIS
city: HEROUVILLE ST CLAIR
postcode: 14200

contact info
Titolo: Mrs
Nome: Helene
Cognome: DELECOURT
Email: send email
Telefono: -231532974
Fax: -231532968

FR (HEROUVILLE ST CLAIR) participant 0.00
3    CERTESS S.A.

 Organization address address: 340 RUE DE L'EYGALA - LE XENON
city: MOIRANS
postcode: 38430

contact info
Titolo: Mr
Nome: Michel
Cognome: COURTOY
Email: send email
Telefono: -4764365
Fax: -4764270

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
city: PARIS CEDEX 15
postcode: 75015

contact info
Titolo: Mr
Nome: Olivier
Cognome: HATEM
Email: send email
Telefono: -438783024
Fax: -438785126

FR (PARIS CEDEX 15) participant 0.00
5    EDALAB SRL

 Organization address address: Strada le Grazie
city: VERONA
postcode: 37134

contact info
Titolo: Professor
Nome: Franco
Cognome: FUMMI
Email: send email
Telefono: -458027955
Fax: -458027029

IT (VERONA) participant 0.00
6    FONDAZIONE BRUNO KESSLER

 Organization address address: VIA SANTA CROCE 77
city: TRENTO
postcode: 38100

contact info
Titolo: Mr
Nome: Umberto
Cognome: SILVESTRI
Email: send email
Telefono: -461314336
Fax: -461302001

IT (TRENTO) participant 0.00
7    TECHNISCHE UNIVERSITAET GRAZ

 Organization address address: RECHBAUERSTRASSE 12
city: GRAZ
postcode: 8010

contact info
Titolo: Dr
Nome: Roderick
Cognome: BLOEM
Email: send email
Telefono: -3168735679
Fax: -3168735663

AT (GRAZ) participant 0.00
8    UNIVERSITAET PADERBORN

 Organization address address: WARBURGER STRASSE 100
city: PADERBORN
postcode: 33098

contact info
Titolo: Ms
Nome: Susanne
Cognome: NEUFELDT
Email: send email
Telefono: -5251602519
Fax: -5251603489

DE (PADERBORN) participant 0.00
9    UNIVERSITY COLLEGE DUBLIN, NATIONAL UNIVERSITY OF IRELAND, DUBLIN

 Organization address address: Belfield Campus
city: DUBLIN
postcode: 4

contact info
Titolo: Mr
Nome: Mike
Cognome: GIBNEY
Funzione: Head of Financial Management
Telefono: -17162102
Fax: -161498

IE (DUBLIN) participant 0.00
10    UNIVERSITY OF SOUTHAMPTON

 Organization address address: HIGHFIELD
city: SOUTHAMPTON
postcode: SO17 1BJ

contact info
Titolo: Mr
Nome: Michael
Cognome: FRETTON
Email: send email
Telefono: -2380593700
Fax: -2380592151

UK (SOUTHAMPTON) participant 0.00

Mappa


 Word cloud

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

models    coconut    tools    discrete    definition    verification    abstraction    related    flow    platform    refinement   

 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.

Altri progetti dello stesso programma (FP7-ICT)

GET Service (2012)

Service Platform for Green European Transportation

Read More  

COLAE (2011)

Commercialization Clusters of OLAE

Read More  

SSL-erate (2013)

Accelerate SSL Innovation for Europe

Read More