Encoding Device Behavior
cmdIn=on & Failure=None
Hung
cmdOut =NULL
Off
cmdOut = Null
On
cmdIn=open -> cmdOut=open
cmdIn=close -> cmdOut=close
cmdIn=off & Failure=None
Failure=Hang
Failure=Hang
VDU
Turn on
Electronics
0
1
Time t
Time t+1
off
none
on
null
on
open
open
Turn on
Electronics
0
1
off
on
VDU
VDU Failure
cmdIn
hung
hang
cmdOut
null
null
Time t
Time t+1
open
VDU
VDU Failure
cmdIn
cmdOut
Explain what the constraints are, generally spend
more time on this slide.