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

摘要

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.%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 œuvre 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.