Skip to main content

A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

Project description

Embedded Systems Design

Field of science

  • /humanities/arts/modern and contemporary art/radio and television
  • /natural sciences/computer and information sciences/software
  • /social sciences/economics and business/economics/production economics/productivity

Call for proposal

FP7-ICT-2007-1
See other projects for this call

Funding Scheme

CP - Collaborative project (generic)

Coordinator

UNIVERSITA DEGLI STUDI DI VERONA
Address
Via Dell Artigliere 8
37129 Verona
Italy
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 332 644
Administrative Contact
Franco Fummi (Prof.)

Participants (9)

TECHNISCHE UNIVERSITAET GRAZ
Austria
EU contribution
€ 296 716
Address
Rechbauerstrasse 12
8010 Graz
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Roderick Bloem (Dr)
UNIVERSITAET PADERBORN
Germany
EU contribution
€ 293 977
Address
Warburger Strasse 100
33098 Paderborn
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Susanne Neufeldt (Ms)
COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
France
EU contribution
€ 376 449
Address
Rue Leblanc 25
75015 Paris 15
Activity type
Research Organisations
Administrative Contact
Olivier HATEM (M.)
CERTESS S.A.
France
EU contribution
€ 335 974
Address
340 Rue De L'eygala - Le Xenon
38430 Moirans
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Michel Courtoy (Mr.)
AERIELOGIC SARL
France
EU contribution
€ 208 653
Address
4 Avenue De Cambridge, Immeuble Odysse, Citis
14200 Herouville St Clair
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
HELENE DELECOURT (Mrs)
UNIVERSITY COLLEGE DUBLIN, NATIONAL UNIVERSITY OF IRELAND, DUBLIN
Ireland
EU contribution
€ 173 773
Address
Belfield
4 Dublin
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Donal Doolan (Mr)
FONDAZIONE BRUNO KESSLER
Italy
EU contribution
€ 365 577
Address
Via Santa Croce 77
38122 Trento
Activity type
Research Organisations
Administrative Contact
Umberto Silvestri (Mr.)
EDALab srl
Italy
EU contribution
€ 78 386
Address
Strada Le Grazie 15
37134 Verona
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Franco Fummi (Prof.)
UNIVERSITY OF SOUTHAMPTON
United Kingdom
EU contribution
€ 87 851
Address
Highfield
SO17 1BJ Southampton
Activity type
Higher or Secondary Education Establishments
Administrative Contact
MICHAEL FRETTON (MR)