Single Fault Models for Timed FSMs
M. Ümit Uyar, Yu Wang, Samrat S. Batth, Adriana Wise, M.A. Fecko · 2006
The classification and detection of single timing faults in timed FSMs are introduced. A graph augmentation method is used to formulate the detection models for timing faults. It is shown that, by using our graph augmentation models, a faulty IUT ends up in a different state than the intended one, hence, enabling the detection of these single timing faults