Project description
Embedded Systems Design
Verification of timing properties of CRTE systems (single- and multi- core) using Probabilistic Timing Analysis
Fields of science
Call for proposal
FP7-ICT-2009-4
See other projects for this call
Funding Scheme
CP - Collaborative project (generic)Coordinator
BARCELONA SUPERCOMPUTING CENTER-CENTRO NACIONAL DE SUPERCOMPUTACION
Address
Calle Jordi Girona 31
08034 Barcelona
Spain
08034 Barcelona
Spain
See on map
Activity type
Research Organisations
Administrative Contact
Xavier Salazar Forn (Mr.)
EU contribution
€ 578 671
Participants (4)
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France
EU contribution
€ 349 273
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex
78153 Le Chesnay Cedex
See on map
Activity type
Research Organisations
Administrative Contact
Liliana Cucu (Dr.)
AIRBUS OPERATIONS SAS
France
EU contribution
€ 187 823
Address
Route De Bayonne 316
31060 Toulouse
31060 Toulouse
See on map
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Thierry PICOT (Mr.)
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
EU contribution
€ 285 480
Address
Via 8 Febbraio 2
35122 Padova
35122 Padova
See on map
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Fiorella Fabrizi (Ms.)
RAPITA SYSTEMS LIMITED
United Kingdom
EU contribution
€ 398 753
Address
Atlas House Osbaldwick Link Road
YO10 3JB York
YO10 3JB York
See on map
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Ian Broster (Dr.)