Title :
A Note on “On the Use of Model Checking for the Verification of a Dynamic Signature Monitoring Approach” [Oct 05 1555-1561]
Author :
Tan, Liansheng ; Tan, Qinyan ; Xu, Jie ; Li, Jie
Author_Institution :
National University of Defense Technology, Changsha, China
Abstract :
Dynamic Signature Monitoring algorithm (DSM) is validated to have the ability to detect all the illegal interblock transitions. However, we found that there were four kinds of errors that could not be detected under certain conditions.
Keywords :
Error correction codes; Fault tolerance; Formal verification; Single event upset; DSM; signature analysis; signature design; undetected errors;
Journal_Title :
Nuclear Science, IEEE Transactions on
DOI :
10.1109/TNS.2010.2100047
