CERTAINTY
CErtification of Real Time Applications desIgNed for mixed criticaliTY
| Coordinatore | THALES SA
Organization address
address: Campus PolytechniqueAvenue Augustin Fresnel 1 contact info |
| Nazionalità Coordinatore | France [FR] |
| Totale costo | 4˙010˙102 € |
| EC contributo | 2˙850˙000 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2011-7 |
| Funding Scheme | CP |
| Anno di inizio | 2011 |
| Periodo (anno-mese-giorno) | 2011-11-01 - 2014-10-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
THALES SA
Organization address
address: Campus PolytechniqueAvenue Augustin Fresnel 1 contact info |
FR (Palaiseau) | coordinator | 0.00 |
| 2 |
ABSINT ANGEWANDTE INFORMATIK GMBH
Organization address
address: SCIENCE PARK 1 contact info |
DE (SAARBRUECKEN) | participant | 0.00 |
| 3 |
ARTTIC
Organization address
address: Rue du Dessous des Berges 58A contact info |
FR (PARIS) | participant | 0.00 |
| 4 |
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Organization address
address: Rue Michel -Ange 3 contact info |
FR (PARIS) | participant | 0.00 |
| 5 |
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZURICH
Organization address
address: Raemistrasse 101 contact info |
CH (ZUERICH) | participant | 0.00 |
| 6 |
KALRAY SA
Organization address
address: RUE DE PARIS 86 contact info |
FR (ORSAY) | participant | 0.00 |
| 7 |
TECHNISCHE UNIVERSITAT BRAUNSCHWEIG
Organization address
address: POCKELSSTRASSE 14 contact info |
DE (BRAUNSCHWEIG) | participant | 0.00 |
| 8 |
UNIVERSITE JOSEPH FOURIER GRENOBLE 1
Organization address
address: Avenue Centrale, Domaine Universitaire 621 contact info |
FR (GRENOBLE) | participant | 0.00 |
| 9 |
UPPSALA UNIVERSITET
Organization address
address: St Olofsgatan 10B contact info |
SE (UPPSALA) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (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.nFacing 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.nNew 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.nThe 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.