Fault Models
A transition is written as Sj - i/o R Sk
t1 : S0 - a/e R S1
- Reset operation ¡§r¡¨ empty output ¡§-¡¨
A transition Sj - i/o R Sk may be incorrectly implemented into Sj¡¦ - i¡¦/o¡¦ R Sk¡¦
Fault models
- input fault : i¡¦1 i
- output fault : o¡¦1 o
- transfer fault : k¡¦1 k
- additional or missing transition fault
Multiple faults : one or more than one faults defined above