Modular Modelling for the Diagnostic of Complex Discrete-Event Systems
Abstract
For the complex systems, the development of a methodology of fault diagnosis is important. Indeed, for such systems, an efficient diagnosis contributes to the improvement of the availability, the growth of production and of course, the reduction of maintenance costs. It is a key action in the improvement of performance of industrial feature. This article proposes a new approach which makes it possible to diagnose complex systems thanks to a modular modelling by communicating timed automata. Indeed, each component has been modeled separately, by a timed automaton integrating these various operating modes and the communication between the various components is carried out by the control module. Starting from each module of the complex system, this approach computes a deterministic automaton, called a diagnoser that uses observable events to detect the occurrence of a failure. The steps of the method are described by algorithms and illustrated through a batch neutralization process. The issue of implementation is also discussed.