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

Fields of science

• natural sciences › computer and information sciences › software › software applications › system software › operating systems

Programme(s)

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

Topic(s)

• ICT-2009.3.4 - Embedded Systems Design

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

Activity type

Research Organisations

Administrative Contact

Xavier Salazar Forn (Mr.)

Links

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

Activity type

Research Organisations

Administrative Contact

Liliana Cucu (Dr.)

Links

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

Links

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

Links

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

Links