Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel

• Auteur / Autrice : Éric Marsden
• Direction : Jean-Charles Fabre
• Type : Thèse de doctorat
• Discipline(s) : Informatique et télécommunications
• Date : Soutenance en 2004
• Etablissement(s) : Toulouse, INPT

Mots clés

Mots clés contrôlés

Logiciels médiateurs

Fiabilité

Mots clés libres

Robustesse

Modes de défaillance

Injection de fautes

Résumé

Nous proposons une méthodologie pour l'analyse de la sûreté de fonctionnement d'un middleware, ou intergiciel, et caractériser son comportement en présence de fautes. Notre méthode est basée sur une analyse structurelle des intergiciels de communication, sur l'élaboration d'un modèle de fautes, une classification des modes de défaillance, et le développement d'un ensemble de techniques d'injection de faute adaptées à l'intergiciel. Nous avons validé notre approche en menant des campagnes d'injection de faute ciblant plusieurs implantations de la norme CORBA, et obtenu des mesures quantitatives de la robustesse des différents candidats testés. Nos travaux permettent à des intégrateurs de systèmes répartis critiques d'obtenir des assurances sur la robustesse des composants intergiciels qu'ils placent au coeur de leurs systèmes, et aux développeurs d'intergiciel d'obtenir des informations sur des points faibles de leurs produits.