A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
Abstract
We address the problem of diagnosing large discrete event systems. Given a flow of observations from the system, the goal is to explain these observations on-line by identifying and localising possible failures and their consequences across the system. Model-based diagnosis approaches deal with this problem but, apart very recent proposals, either they require the computation of a global model of the system which is not possible with large discrete event systems, or they cannot perform on-line diagnosis. The contribution of this paper is the description and the implementation of a formal framework for the on-line decentralised diagnosis of such systems, framework which is based on the ~divide and conquer~ principle and does not require the global model computation. This paper finally describes the use of this framework in the monitoring of a real telecommunication network.