Skip to main content

Probabilistically Analysable Real-Time Systems

Project description


Embedded Systems Design
Verification of timing properties of CRTE systems (single- and multi- core) using Probabilistic Timing Analysis

Call for proposal

FP7-ICT-2009-4
See other projects for this call

Coordinator

BARCELONA SUPERCOMPUTING CENTER-CENTRO NACIONAL DE SUPERCOMPUTACION
Address
Calle Jordi Girona 31
08034 Barcelona
Spain
Activity type
Research Organisations
EU contribution
€ 578 671
Administrative Contact
Xavier Salazar Forn (Mr.)

Participants (4)

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France
EU contribution
€ 349 273
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex
Activity type
Research Organisations
Administrative Contact
Liliana Cucu (Dr.)
AIRBUS OPERATIONS SAS
France
EU contribution
€ 187 823
Address
Route De Bayonne 316
31060 Toulouse
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
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
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Ian Broster (Dr.)