Publications

Publications

< retour aux publications

IDSM: an improved disjoint signature monitoring scheme for processor behavioral checking

Auteur(s) : S. Bergaoui, P. Vanhauwaert, R. Leveugle

Doc. Source: 15th Latin-American Test Workshop (LATW'14)

Publisher : IEEE

Pages : 1-6

Soft errors with multiple erroneous bits have become a significant threat in embedded systems. New approaches must therefore be proposed to detect errors in a system without assumptions on the error multiplicity. Behavioral checking is in that case appealing. This paper presents a new extended and flexible control flow error detection approach, able to also cover errors in the critical variables of processor-based systems. The approach does not modify the initial system and is compatible with standards such as IEC 61508. Results on a Leon3-based system are presented.