Nouveau Sujet TP 2 TDF

partie I

  • 1 Définir un processus Med1[inn, out] unidirectionel, ordonné, fiable de capacité 1, qui transmet uniquement les message de type "controle"
  • 2 Même question que 1 avec une capacité 2 : Définir, de façon monolithique, un processus Med2[inn, out] unidirectionel, ordonné, fiable de capacité 2, qui transmet uniquement les message de type "controle".

Rque: de façon monolithique signifie sans utiliser l'opérateur de composition parallèle

  • 3 Même question que 2 mais par composition parallèle : Définir Med2Composite[inn, out] comme une composition parallèle de deux instances de Med1[inn, out]
  • 4 Générer les STE réduits de (2) et (3) et vérifier qu'il sont identiques, au numéro des états près. Pour ce faire changer la clause BEHAVIOUR dans la specification LOTOS pour appeler le processus Med2, générer le STE, le réduire le sauver, et refaire la même chose pour Med2Composite

partie II

  • 1' : ajouter à Med1[inn, out] la possibilité de transmettre aussi les messages de type donnee
  • 2' : définir Med2Bidirectionnel[inL, outL, inR, outR] par composition parallèle de deux instance de Med2composite[inn, out]

partie III (question 5 du TP1)

  • Montrer que votre protocole de transmission fonctionne en mode asynchrone: c'est à dire lorsque Left et Right sont connectés par

un medium bidirectionnel:

  • d'abord pour capacité 1 : Med1Bidirectionnel
  • ensuite pour capacité 2 : Med2Bidirectionnel (version composite), et ensuite par Med2Bidirectionnel (version monolithique)

Dans les 3 cas on doit obtenir le même service que la version synchrone du TP1.