 |
|
|
|
| HAL : hal-00346274, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| 13th International Conference on Real-Time Systems (RTS'2005), Paris : France (2004) |
|
|
|
|
| Quantification du taux d'invalidité d'applications temps réel : une approche géométrique |
|
|
Gaëlle Largeteau-Skapin 1, 2Dominique Geniet 1 |
|
|
| (04/2005) |
|
|
|
| Ce travail s'intègre dans un projet de conception d'outils d'aide à la spécification d'applications temps-réel à contraintes strictes : il s'agir, lorsqu'une application est invalide, d'identifier les causes de l'invalidité. Nous nous basons sur un modèle géométrique pour les applications temps-réel. Une mesure est définie à partir de ce modèle sur la base d'une distance géométrique. Les systèmes que nous traitons utilisent des ressources critiques et fonctionnent sur des architectures multiprocesseurs. Les tâches sont périodiques, non réentrantes, à départ différés. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
| 2 : | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
|
|
|
|
|
|
|
| temps réel |
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Modélisation et simulation |
|
|
| temps-réel – validation temporelle – multiprocesseurs – géométrie discrète |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00346274, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00346274 | |
| oai:hal.archives-ouvertes.fr:hal-00346274 | |
| Contributeur : Gaëlle Largeteau-Skapin | |
| Soumis le : Jeudi 11 Décembre 2008, 12:16:37 | |
| Dernière modification le : Lundi 27 Juillet 2009, 16:18:16 | |
