Model-based monitoring and diagnosis chip for embedded systems

Abstract

In this paper, we propose a design consideration for a monitoring and diagnosing chip for the embedded system based on the model-based diagnosis. We introduce the qualitative model for the embedded system by transforming the continuous dynamics of components into the discrete state transition system, which is then further transformed into the circuit called Synchronous Boolean Network(SBN). The faults of system components are reduced to the stuck-at faults in SBN. We present a hardwired SBN diagnosis engine based on Roth's D-calculus, which allows efficient identification of the faulty parts by propagating the anomaly through the SBN structure. © Springer-Verlag Berlin Heidelberg 2006.