Diagnostic des défaillances logicielles dans les systèmes complexes critiques

Ce travail propose une approche du diagnostic des défaillances logicielles dans les systèmes complexes tolérants aux pannes, englobant les phases de détection des erreurs, de localisation des défaillances et de récupération du système. Les erreurs sont détectées lors de la première phase, en exploitant le support du système d'exploitation. Les défaillances sont identifiées pendant la phase de localisation, grâce à une approche basée sur l'apprentissage automatique. Ensuite, la meilleure action de récupération est déclenchée une fois la défaillance localisée. Des actions de rétroaction sont également utilisées pendant la phase de localisation afin d'améliorer la qualité de la détection au fil du temps. Une application réelle dans le domaine du contrôle du trafic aérien a été utilisée comme étude de cas pour évaluer l'approche proposée. Les résultats expérimentaux, obtenus grâce à l'injection de défauts, montrent que le moteur de diagnostic est capable de diagnostiquer les défauts avec une grande précision et à faible coût.