Résumé: Dans le cadre de la conception des protocoles de communication, un modèle formel est appelé à atteindre une bonne spécification des protocoles; il s'agit de la synthèse des protocoles. La spécification formelle des protocoles est utilisée par la suite pour examiner le bon fonctionnement et la performance des protocoles avant leur implémentation. Ce projet a pour but la dérivation des spécifications des protocoles à partir des spécifications des services en optimisant les spécifications obtenues. De plus, nous proposons un algorithme pour la dérivation des spécifications des protocoles à partir des spécifications des services pour les applications temps réel. En d'autres termes, c'est le développement de l'algorithme de dérivation des spécifications des protocoles en supportant les systèmes qui exigent des contraintes temporelles.

Biskra:
Langue: Français
Collation: 70 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Biskra, Université Mohamed Khider. Faculté des Sciences et Sciences de l'Ingenieur
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Architecture des réseaux d'ordinateurs
Protocoles (informatique)

Note: Bibliogr. pp.[1-2]