IDSM: An improved control flow checking approach with disjoint signature monitoring

Soft errors have become a significant threat in embedded systems. Multiple errors have furthermore become a real concern. New approaches must therefore be proposed to detect errors in a system without assumptions on the error multiplicity. Control flow error detection is one possible approach for processor-based systems but most previous techniques modify the initial system and are therefore not compatible with norms such as IEC 61508. We propose here a new technique based on disjoint signature monitoring and detecting also errors in the most critical system variables. Comparisons are made with previous techniques.