Détection d'erreur au plus tôt dans les systèmes temps-réel : une ...

Table des matièresIntroduction 11 Contexte et Problématique 71.1 Enjeux de la conception d’un système temps-réel critique . . . . . . . . . 81.1.1 Etat et comportement d’une application . . . . . . . . . . . . . . 81.1.2 Contraintes comportementales temps-réel . . . . . . . . . . . . . 111.1.3 Plate-forme d’exécution et prédictibilité . . . . . . . . . . . . . . 111.1.4 La sûreté de fonctionnement du logiciel . . . . . . . . . . . . . . 131.1.5 Applications temps-réel tolérantes aux fautes . . . . . . . . . . . 151.2 Vérification à l’exécution . . . . . . . . . . . . . . . . . . . . . . . . . . 191.2.1 Principe de la vérification à l’exécution . . . . . . . . . . . . . . 191.2.2 Traces et signaux : les modèles d’exécution . . . . . . . . . . . . 251.2.3 Catégories de vérifieurs en-ligne . . . . . . . . . . . . . . . . . . 261.3 Observation et analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . 301.3.1 De l’exécution d’un code vers les événements . . . . . . . . . . . 311.3.2 Etat du bloc d’analyse et synchronisation avec l’application . . . 331.4 Position de l’étude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341.4.1 Attributs orientés «détection» d’un vérifieur en-ligne . . . . . . . 341.4.2 Synthèse de la démarche suivie . . . . . . . . . . . . . . . . . . 362 Critère de Détection au plus tôt 392.1 Rappels sur les traces et leurs opérations . . . . . . . . . . . . . . . . . . 402.2 Historique d’une exécution et processus d’observation . . . . . . . . . . 412.2.1 Approche de modélisation suivie . . . . . . . . . . . . . . . . . . 412.2.2 Historique d’une exécution en cours . . . . . . . . . . . . . . . . 422.2.3 État du processus d’observation . . . . . . . . . . . . . . . . . . 432.2.4 Monotonie des observations . . . . . . . . . . . . . . . . . . . . 432.2.5 «Latence» et exactitude du processus d’observation . . . . . . . . 442.3 Symptômes d’erreur et apparition de l’erreur . . . . . . . . . . . . . . . . 46v