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.

Autorentext

Gabriella Carrozza, Ph.D., dirige actuellement l'unité Métriques et Rapports chez SELEX ES. Ses principaux domaines de recherche sont la fiabilité et l'évaluation des logiciels, l'amélioration de la qualité et les statistiques pour l'aide à la décision stratégique dans l'industrie des systèmes critiques. Elle a été évaluatrice et membre du comité de programme de plusieurs conférences internationales.