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.