Problem: Datenübertragung Messwerte an B schickenDaten annehmen AB 0,0,1,0,1,0,1,1,1,0
Verdeutlichung mit Beispielen A B 0,1,0 0,0,1,0 0,1,0 0,,1,0 Idealfall Normalfall z.B.: verspätete Bestätigung von B Erneutes Versenden von 0 Für B ist es nicht klar, ob es ein Duplikat akzeptiert hat, od. ob die Datenfolge richtig ist. 2 Möglichkeiten: die Bestätigung kommt rechzeitig bei A an B erhält korrekt den nächsten Wert die Bestätigung kommt verspätet bei A an B erhält ein Duplikat des ersten Wertes
Zeit-Nachricht-Diagramm AB Zeitachsen erwartete Bestätigung verzögerte Bestätigung 0 0erneutes Versenden der ´0´ Bestätigung FEHLER!!! B hat 0,0 angenommen
Korrektheit Jede von A gesendete Nachricht wird von B wenigstens einmal fehlerfrei empfangen. Jede davon wird höchstens einmal von B akzeptiert.
Automatentheorie Unterstrichen: Output keine Unterstreichung: Input B, A: Name der zu verschickenden oder verschickten Nachricht vom jeweiligen Terminal Doppelpfeil: Ankommende Nachricht akzeptiert, neue Nachricht kann verschickt werden Terminal A A B Terminal B A B
Das 2-Bit Schema von Lynch (tiefgestellte) 0, 1 (bei B oder A): Wert des alternation bit 0,1: Wert des validation bit Terminal A Error A1A1 A1A1 A0A0 A0A (0) 0 (1) A1A1 A0A0 0 1 (0) Terminal B 1 1 (0) A1A1 A0A0 Error 0 (1)(1) 1
Beweis der Korrektheit (I) A schickt nur dann eine neue Nachricht: - A B – Nachricht kommt fehlerfrei bei B an - B verify message kommt fehlerfrei bei A an (= fehlerfreier Empfang bei B!) B erhält mindestens einmal jede Nachricht richtig
Beweis der Korrektheit (II) B kann mehrmals fehlerfrei die gleiche Nachricht erhalten. B akzeptiert jedoch nur dann eine neue Nachricht, wenn das alternation bit zur vorangegangenen Nachricht verschieden ist. B nimmt nur die erste fehlerfreie Übertragung an B kann damit eine Kopie jeder A-Nachricht höchstens einmal annehmen.
Fehlerhaftes 1-Bit Schema A: A 1 B: A 1 B: B 1 A: Error A: A 0 B: Error B: B 0 A: B 0 A: A 1 Error B1B1 B1B1 A0A0 Terminal B A1A1 B0B0 Terminal A A1A1 B0B0 Error A0A0 B1B1 A1A1
Das "alternating bit" Protokoll Terminal A Error B0B0 A1A1 A1A1 B1B1 B0B0 B1B1 A0A0 A0A0 B1B1 Terminal B Error B1B1 B0B0 B0B0 A1A1 A0A0 A0A0 A1A1 Die 1-Bit Variante des NPL