Quantification du taux d'invalidité d'applications temps réel à contraintes strictes

Gaëlle Largeteau-Skapin (1, 2) , Dominique Geniet (2)

1 SIC
2 LISI [Poitiers] - Laboratoire d'informatique scientifique et industrielle [EA 1232]

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

Mots clés: Schedulability; automata; regular languages; geometry; invalidity measure

Domaines: Systèmes embarqués; Modélisation et simulation; Mathématique discrète [cs.DM]

Gaëlle Largeteau-Skapin, Dominique Geniet. Quantification du taux d'invalidité d'applications temps réel à contraintes strictes. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (5), pp.589--625. ⟨10.3166/tsi.27.589-625⟩. ⟨hal-00346029⟩