1
2
3
1
1
1
1
1
1
1
2
2
2
2
3
3
0
Idle
0000
Init
8001
Error 3
C003
Error 1
C001
Error 2
C002
Wait for
Channel A
8014
Wait for
Channel B
8004
From Active
Wait
8005
Safety
Output
Enabled
8000
Activate
NOT Activate
NOT S_ChannelA AND
NOT S_ChannelB
NOT S_ChannelA ANDNOT S_ChannelA AND
NOT S_ChannelBNOT S_ChannelB
NOT S_ChannelA AND
NOT S_ChannelB
NOT S_ChannelA ANDNOT S_ChannelA AND
NOT S_ChannelBNOT S_ChannelB
NOT S_ChannelA AND
NOT S_ChannelB
S_ChannelA ANDS_ChannelA AND
S_ChannelB S_ChannelB
S_ChannelA AND
S_ChannelB
S_ChannelA
NOT S_ChanneBNOT S_ChanneBNOT S_ChannelB
S_ChannelB ANDS_ChannelB AND
NOT S_ChannelA NOT S_ChannelA
S_ChannelB AND
NOT S_ChannelA
NOT S_ChannelA ANDNOT S_ChannelA AND
NOT S_ChannelBNOT S_ChannelB
NOT S_ChannelA AND
NOT S_ChannelB
NOT S_ChannelANOT S_ChannelANOT S_ChannelA
S_ChannelA ANDS_ChannelA AND
NOT S_ChannelB NOT S_ChannelB
S_ChannelA AND
NOT S_ChannelB
Discrepancy Time ElapsedDiscrepancy Time ElapsedDiscrepancy Time Elapsed
Discrepancy
Time Elapsed
Discrepancy
Time Elapsed
S_ChannelA XORS_ChannelA XOR
S_ChannelB S_ChannelB
S_ChannelA XOR
S_ChannelB
S_ChannelB
Ready =FALSE
Ready =TRUE
S_EquivalentOut=FALSE
S_EquivalentOut=TRUE