Thèse soutenue

Auto-surveillance logicielle pour applications critiques : méthode et mécanismes
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Christophe Rabéjac
Direction : Jean-Claude Laprie
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1995
Etablissement(s) : Toulouse, INPT

Résumé

FR

Les fautes logicielles sont aujourd'hui une preoccupation majeure dans les systemes critiques vis-a-vis de la securite, en particulier parce qu'elles ne peuvent pas etre totalement eliminees lors des phases de test et de validation. Le probleme qui fait l'objet de cette these est donc la detection en ligne des erreurs dues a ces fautes residuelles, et en particulier celles a manifestations temporaires (pour lesquelles la tolerance peut se limiter a une simple reexecution, le contexte ayant pu suffisamment evoluer pour que leurs conditions d'activation extremement subtiles ne soient plus remplies). Apres avoir presente les techniques existantes de prevention, tolerance et detection des fautes, nous proposons des mecanismes de detection d'erreurs dues a des fautes de conception, concus pour detecter non seulement des erreurs sur les donnees du logiciel mais aussi des erreurs sur son flot de controle, et valides a la fois par des techniques d'injection de fautes et par des techniques formelles. Nous proposons en particulier une technique de traces temporisees permettant de specifier le comportement attendu du logiciel, et d'instancier automatiquement sur la base de cette specification un automate generique de verification du flot de controle que nous avons developpe, et dont les algorithmes principaux sont formellement prouves. Pour developper l'ensemble de ces mecanismes nous proposons egalement une methode de conception et de validation basee sur l'utilisation d'une specification de surveillance. Enfin, nous mettons en uvre ces techniques sur deux exemples de logiciels temps-reel embarques afin non seulement de les valider, mais egalement d'en estimer l'efficacite et l'applicabilite