Professional Documents
Culture Documents
Error control
o How does a sender know that all packets are correctly received
Flow control
o How to prevent a sender to overload the receiver with packets
Methods:
o Use of time gap: unacceptable, too risky
o Character count
o Starting and ending characters with character stuffing
o Starting and ending flags with bit stuffing
o Physical layer coding violations
A DLE C
violation
or F0 … F7 or F0 … F7
or F 7 F0 or F 0 F1
or F 0 … F 5 F6
or F0 …F2 F3
F =D+H
I Propagation delay +
Interrupt & service time
D W
U= x
H+D Wc
Ack?
A 0 -- A 1
Ack?
A 0 -- A
1
Data link
Transitions 1 layer7 -- June
2+5 20040 4 5 2 55
Verification: petri net models
Basic elements:
o Places: represent system states
o Transitions: represent actions in system
o Arcs: relate states to actions
o Tokens: current state
Transitions:
o Input places
o Output places
Transition enabled
o At least one token in each input place
Firing of transition
o If enabled
o 1 token removed from each input place
o 1 token added in each output place
Data link layer -- 2024 56
Verification: petri net models
• Address
– for multi-point line
– distinguish responses from redirected frames
• Control field
Information frame
Supervisory frames
Unnumbered frames
LCP
Point-to-point links