Valve transition system (cont.)
Specifying the nominal transition ?n ? ?
mode = closed ? cmd = open ? next (mode = open)
mode = closed ? cmd ? open ? next (mode = closed)
mode = open ? cmd = close ? next (mode = closed)
mode = open ? cmd ? close ? next (mode = open)
mode = stuck-open ? next (mode = stuck-open)
mode = stuck-closed ? next (mode = stuck-closed)
Specifying failure transitions
- ?1 : mode = closed ? next (mode = stuck-closed)
- ?2 : mode = closed ? next (mode = stuck-open)
- ?3 : mode = open ? next (mode = stuck-open)
- ?4 : mode = open ? next (mode = stuck-closed)