CORDIS
EU research results

CORDIS

English EN
CErtification of Real Time Applications desIgNed for mixed criticaliTY

CErtification of Real Time Applications desIgNed for mixed criticaliTY

Objective

Pushed by economical and ecological stakes, embedded systems from the avionics, automotive and automation domains, featuring real-time, safety and critical capabilities have to face increasing performance needs that will no more be satisfied by existing architectures based on single-cores. Current trends are to take benefit from multi-core processors high performance in replacing single-cores by multi-cores which raises predictability and isolation challenges for timing and mixed criticality aspects. This is mainly due to the inadequateness and inability of current approaches to effectively handle reliability and the cause of non-deterministic behaviour on multi-cores.Facing multi-core architectures' inevitable use, CERTAINTY will introduce a disruptive methodology for the design of complex critical applications allowing safety and time criticality aspects composition, taking into account unpredictability of shared resource availability as elements of the problem space, identify analysis methods and techniques supporting this new approach and demonstrate the applicability of these techniques through meaningful examples of complex control functions.New methodology and design tools, applicable in diverse industrial sectors, will be validated in an avionics application on a multi-core architecture: an existing Flight Management System will be analyzed using the CERTAINTY Methodology and Analysis Tools to specify which part could be at which critical level redesigned and composed according to the methodology. The system design will be evaluated to show that relevant safety requirements are met (i.e. ability to ensure partitioning/isolation, ability to provide a WCET, system determinism and incrementality), contributing to the certification process on new architecture generations. The major result will be a Proof of Concept of a design methodology, resultant Analysis Methodologies and associated synthesis tools: CERTAINTY Methodology and prototypes.The impact of CERTAINTY will be to contribute to the certification of mixed criticality applications on multi cores in more efficient and effective ways (performance improvement regarding strict temporal partitioning), and provide recommendations to standardization working groups preparing the way for new standards in this area.

Coordinator

THALES SA

Address

Tour Carpe Diem Place Des Corolles Esplanade Nord
92200 Courbevoie

France

Activity type

Other

EU Contribution

€ 706 602

Administrative Contact

Madeleine Faugère (Dr.)

Participants (8)

Sort alphabetically

Sort by EU Contribution

Expand all

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH

Switzerland

EU Contribution

€ 407 881

ABSINT ANGEWANDTE INFORMATIK GMBH

Germany

EU Contribution

€ 322 455

TECHNISCHE UNIVERSITAET BRAUNSCHWEIG

Germany

EU Contribution

€ 352 059

UNIVERSITE JOSEPH FOURIER GRENOBLE 1

France

EU Contribution

€ 245 436

ARTTIC

France

EU Contribution

€ 206 762

KALRAY SA

France

EU Contribution

€ 218 354

UPPSALA UNIVERSITET

Sweden

EU Contribution

€ 289 273

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS

France

EU Contribution

€ 101 178

Project information

Grant agreement ID: 288175

Status

Closed project

  • Start date

    1 November 2011

  • End date

    31 October 2014

Funded under:

FP7-ICT

  • Overall budget:

    € 4 010 102

  • EU contribution

    € 2 850 000

Coordinated by:

THALES SA

France