PROARTIS : Différence entre versions
imported>Thierry Daunois |
imported>Thierry Daunois |
||
Ligne 32 : | Ligne 32 : | ||
===Coordinateur du projet=== | ===Coordinateur du projet=== | ||
− | * Barcelona supercomputing center - Centro nacional de supercomputacion - Barcelone ([[A pour pays | + | * Barcelona supercomputing center - Centro nacional de supercomputacion - Barcelone ([[A pour pays coordinateur de projet européen::Espagne| ]][[A pour pays partenaire de projet européen::Espagne]]) |
===Partenaires=== | ===Partenaires=== |
Version actuelle datée du 2 mars 2018 à 13:04
PROARTIS | |
Titre : | Probabilistically Analysable Real-Time Systems |
Budget : | 2 425 k€ |
Subventions : | FP7-ICT (1 800 k€) |
Sous-programme : | Embedded Systems Design |
Type de contrat : | Collaborative project |
Début : | 1er février 2010 |
Fin : | 31 janvier 2013 |
PROARTIS est l'acronyme du projet européen Probabilistically Analysable Real-Time Systems, qui a pour référence sur le service CORDIS 249100[1].
Note : Les objectifs suivants sont repris de la fiche du projet sur Cordis
- Objective
There is an ever-increasing demand both for new functionality and for reduced development and production costs for all kinds of Critical Real-Time Embedded (CRTE) systems (safety, mission or business critical). Moreover, new functionality demands can only be delivered by more complex software and aggressive hardware acceleration features like memory hierarchies and multi-core processors. However, these greatly increase system complexity, making it much more difficult to analyze applications for their temporal behavior. Another key problem of CRTE systems is the need to prove that they operate correctly, satisfying all temporal constraints.
The current generations of platforms, despite being based on comparatively simple and old processor technologies, are already extremely difficult to analyze for their temporal behavior, and resulting errors in operation, cost EU industries billions of Euros annually in warranty and post-production costs. The PROARTIS thesis is that the timing behavior of systems that use advanced hardware features like multi-core CPUs and complex memory hierarchies can be analyzed effectively by probabilistic timing analysis techniques that reduce the risk of temporal pathological cases to quantifiably negligible levels. Preliminary research results in cache replacement policies by members of the PROARTIS consortium strongly support this claim.
PROARTIS defines new hardware and software architecture paradigms based on the concept of randomization that, with minimal changes to current processes and methods, guarantee timing behaviors that can be analyzed with probabilistic techniques. PROARTIS uses a holistic approach in which probabilistic analysis extends from hardware design, compiler and real time operating system to applications. On top of this platform, we will build probabilistic timing analysis methods based on current commercial tools. We will validate our approach via an industrial case study.Les partenaires du projet
Coordinateur du projet
- Barcelona supercomputing center - Centro nacional de supercomputacion - Barcelone (Espagne)
Partenaires
- Rapita Systems Limited - York (Royaume-Uni)
- Universita degli studi di Padova - Padoue (Italie)
- Airbus Opérations SAS - Toulouse (Midi-Pyrénées, France)
- INRIA - LORIA - Nancy (Lorraine, France)
Financement
- Coût total du projet : 2 425 654 €
- Subvention de la Commission européenne (programme FP7-ICT) : 1 800 000 €
Dates importantes
- Date de début : 1er février 2010
- Date de fin : 31 janvier 2013
Voir aussi
Liens externes
Notes
- ↑ La fiche du projet sur CORDIS