This paper presents a behavioral-based error detection technique called control flow
checking by execution tracing (CFCET) to increase concurrent error detection capabilities of
commercial off-the-shelf (COTS) processors. This technique traces the program jumps graph
(PJG) at run-time and compares it with the reference jumps graph to detect possible
violations caused by transient faults. The reference graph is driven by a preprocessor from
the source program. The idea behind the CFCET is based on using an external watchdog …