Monitoring-Based Diagnosis

Abstract

The diagnostic techniques for diagnosis of polymorphic systems presented in the previous chapters share a common assumption: the diagnostic process starts once the system has become quiescent after a reaction. Since all such techniques are concerned with a posteriori diagnosis, they do not support the monitoring of the system, specifically, the continuous diagnosis of the reacting system. Monitoring-based diagnosis requires the generation of diagnostic information at the occurrence of each system message. Consequently, candidate diagnoses are to be produced while reconstructing the system behavior, rather than after the complete generation of the relevant active space. Continuous diagnosis can be carried out in two different ways, either based on off-line preprocessing or not. The former requires the generation of a graph that is even wider than the universal space, thereby making the approach prohibitive in real contexts. The latter, instead, combines behavior reconstruction and diagnosis generation without any off-line preprocessing.