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

Project description

Embedded Systems Design

Fields of science

• natural sciences › computer and information sciences › software
• engineering and technology › electrical engineering, electronic engineering, information engineering › electronic engineering › sensors › smart sensors
• social sciences › economics and business › economics › production economics › productivity

Programme(s)

• FP7-ICT - Specific Programme "Cooperation": Information and communication technologies

Topic(s)

• ICT-2007.3.3 - Embedded systems design

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

Administrative Contact

Franco Fummi (Prof.)

Links

EU contribution

€ 332 644

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)

Links

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)

Links

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

Links

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

Links

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)

Links

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)

Links

FONDAZIONE BRUNO KESSLER

Italy

EU contribution

€ 365 577

Address

Via Santa Croce 77
38122 Trento

Activity type

Research Organisations

Administrative Contact

Umberto Silvestri (Mr.)

Links

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

Links

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)

Links