 |
|
|
|
| HAL : hal-00346029, version 1 |
| DOI : 10.3166/tsi.27.589-625 |
| Fiche détaillée |  Récupérer au format |
|
|
| Technique et Science Informatiques (TSI) 27, 5 (2008) 589--625 |
|
|
|
|
| Quantification du taux d'invalidité d'applications temps réel à contraintes strictes |
|
|
Gaëlle Largeteau-Skapin 1, 2Dominique Geniet 1 |
|
|
| temps réel Collaboration(s) |
|
|
| (2008) |
|
|
|
| This work is about an operational conception toolkit for real time applications. Temporal validation is usually based on tools with binary validation results. In this paper, we show how to build some quality indicators able to quantify invalidity numerically. First, we present an automata-based model and then its geometrical adaptation, which permits to compute a measure of invalidity |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
| 2 : | XLIM (XLIM) |
|
|
|
CNRS : UMR6172 – Université de Limoges |
|
|
|
|
|
|
|
|
|
| SIC |
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Modélisation et simulation Informatique/Mathématique discrète |
|
|
| Schedulability – automata – regular languages – geometry – invalidity measure |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00346029, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00346029 | |
| oai:hal.archives-ouvertes.fr:hal-00346029 | |
| Contributeur : Gaëlle Largeteau-Skapin | |
| Soumis le : Mercredi 10 Décembre 2008, 18:55:32 | |
| Dernière modification le : Lundi 27 Juillet 2009, 16:16:24 | |
