Autre TP 2 Possible

partie I

  • 1 Définir un processus Med1[inn, out] unidirectionel, ordonné, fiable de capacité 1, qui transmet uniquement les message de type "donnee"
  • 2 Même question que 1 avec une capacité 2 : Définir un processus Med2[inn, out] unidirectionel, ordonné, fiable de capacité 2, qui transmet uniquement les message de type "donnee" : Med2[inn, out
  • 3 Même question que 2 mais par composition de deux Med1 : Med2Composite[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 état près

partie II

  • 1' : ajouter à Med1 la possibilité de transmettre aussi les messages de type controle
  • 2' : définir Med1Bidirectionnel par composition parallèle de deux instance de Med1
  • 3' : définir Med2Bidirectionnel par composition parallèle de deux instance de Med2composite

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 Med1Bidirectionnel, et ensuite par Med2Bidirectionnel