Une contribution à la suppression des anomalies dans les protocoles de communication

A contribution to the suppression of errors in communication protocols

• Auteur / Autrice : Gagnon Gbédé Viho
• Direction : Richard Castanet
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1991
• Etablissement(s) : Bordeaux 1

Mots clés

Mots clés contrôlés

Spécifications

Protocoles de réseaux d'ordinateurs

Résumé

Actuellement, plusieurs methodes et outils permettent de specifier les protocoles de communication et d'y detecter les anomalies. Cependant, peu de methodes sont developpees pour supprimer ces anomalies. Dans cette these, nous proposons: 1) une methode de synthese qui guide la specification et evite l'occurrence des receptions non specifiees et des transitions non executables; 2) deux methodes qui interviennent apres detection des anomalies et proposent des solutions pour supprimer les receptions non specifiees, les deadlocks et les boucles bloquantes. Les outils developpes mettant en uvre ces methodes sont egalement presentes