Operational diagnosability of a digital embedded system controlling a critical system

This paper proposes a new diagnosability analysis method, applicable on critical functions of digital embedded systems, respecting different operating modes (normal-degraded-out of order). State of the art of diagnosability analysis focuses on functional diagnosability, where the hardware architecture and its constraints (such as delays, HW/SW mapping) are not directly considered, at design time. As consequence, diagnosability analysis result could be impractical at the implementation time, because of incompatibilities. Our approach contributes to analyze the hardware architecture impact on diagnosability of digital embedded systems and allows managing diagnosability for different operating modes.