ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 27/5 - 2008  - pp.589-625  - doi:10.3166/tsi.27.589-625
TITRE
Quantification du taux d’invalidité d’applications temps-réel à contraintes strictes

RÉSUMÉ
Ce travail porte sur la mise en place d'un atelier d'aide à la conception opérationnelle d'applications temps-réel. Actuellement, la validation temporelle s'appuie sur des outils de diagnostic déterminant la validité ou l'invalidité d'une application. Nous montrons ici comment construire des indicateurs de « qualité opérationnelle » aptes à diagnostiquer l'invalidité et surtout à la quantifier numériquement. Après avoir défini les caractéristiques attendues pour un indicateur de qualité opérationnelle, nous présentons une étude orientée « modèles », dans laquelle nous montrons comment, à partir d'une approche basée sur des automates finis, nous pouvons mettre en oeuvre un modèle géométrique qui permet de servir de support de calcul à nos indicateurs de qualité et de servir de support de manipulation visuelle pour les utilisateurs de notre futur atelier d'aide à la conception opérationnelle. Les tâches sont à durée fixe (pire cas) à départs différés et échéances reliées aux périodes fonctionnant sur une architecture multiprocesseur où les processeurs sont identiques et synchrones.


ABSTRACT
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.


AUTEUR(S)
Gaëlle LARGETEAU, Dominique GENIET

Reçu le 1 avril 2005.    Accepté le 18 janvier 2007.

MOTS-CLÉS
ordonnançabilité, automates, langages rationnels, géométrie, mesure d'invalidité.

KEYWORDS
schedulability, automata, regular languages, geometry, invalidity measure.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (2,54 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier