Model-Based Monitoring and Diagnosis Chip for Embedded Systems
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.
KeywordsEmbed System Qualitative Model Continuous Dynamic Permanent Fault NAND Gate
Unable to display preview. Download preview PDF.
- 3.Cascio, F., Console, L., Guagliumi, M., Osella, M., Panati, A., Sottano, S., Dupre, D.T.: Generating on-board diagnosis of dynamic automotive systems based on qualitative models. AI Communications 12(1), 33–43 (1999)Google Scholar
- 5.Dressler, O.: On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines. In: Proc. of 12th European Conference on Artificial Intelligence, pp. 461–465 (1996)Google Scholar
- 8.Sachenbacher, M., Struss, P., Calen, C.M.: A prototype for model-based on-board diagnosis of automotive systems. AI Communications 13(2), 83–97 (2000); IEEE trans. on Automatic Control 40(9), 1555–1575Google Scholar
- 9.Struss, P.: Fundamentals of Model-based Diagnosis of Dynamic Systems. In: Proc. 15th International Conf. on Artificial Intelligence, pp. 480–485 (1997)Google Scholar