COURS /
AutreTP2Possible
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