Conception de logiciels sûrs de fonctionnement : analyse de la sécurité des logiciels : mécanismes de décision pour la programmation en n-versions

• Auteur / Autrice : Catherine Hourtolle
• Direction : Jean-Claude Laprie
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1987
• Etablissement(s) : Toulouse, INPT

Mots clés

Mots clés contrôlés

Interfaces de programmation d'applications

Synchronisation

Tolérance aux fautes (informatique)

Fiabilité

Résumé

Une etude d'analyse de securite permettant la recherche des fonctions et des modes de defaillance critiques du logiciel est presentee. Elle repose sur l'utilisation conjointe de trois techniques d'analyses: l'analyse des modes de defaillance et de leurs effets (amde), l'analyse par arbres des fautes et l'analyse par reseaux de petri. En ce qui concerne la tolerance aux fautes logicielles, la programmation en n-versions parait etre une approche prometteuse pour les logiciels temps reel. La mise en oeuvre du controleur d'un lociciel en n-versions, c'est a dire les mecanismes de recouvrement, de vote et de synchronisation