Bonjour,
Dans la FSM de l'expéditeur pour le ABP, il est indiqué que ce-dernier attend la frame D(0/1, SDU, CRC) avant de l'envoyer. Cependant, si je ne me trompe pas, cette frame n'a pas encore été créée au moment de l'envoyer à l'entité de liaison de données. Celle-ci va recevoir le SDU et va ensuite créer la frame en attribuant un numéro de séquence et en calculant le CRC.
De même, pour le récepteur, celui-ci traiterait selon moi les SDU au lieu des D(0/1, SDU, CRC). Par ailleurs, pour le récepteur toujours, ne faudrait-il pas plutôt écrire dans les boucles recvd(D(0/1,SDU,CRC)) OR not is_ok(CRC,SDU) (j'ai l'impression que des actions ne sont pas traitées dans la version actuelle du schéma dans le syllabus) ?
Ai-je mal compris quelque chose ?
Merci d'avance pour votre réponse,
Cordialement,
Charles