Extending Decentralized Discrete-Event Modelling to Diagnose Reconfigurable Systems
Alban Grastien, Marie-Odile Cordier, Christine Largouët · 2004
On-line reconfiguration is the ability to rearrange dynamically the elements of a system to accommodate failure events or new require-ments. Due to the modular representation, decentralized discrete-event approach, recently proposed for the diagnosis of systems, is particularly well suited to the diagnosis of reconfigurable systems. The contribution of this article is to extend our decentralized ap-proach to reconfigurable discrete-event systems. A first step in this direction is to extend the way a decentralized system is modelled. The idea consists in modelling separately the behavior of the com-ponents and the system topology. A second step is to formally define what is a reconfiguration. A property of reconfiguration, that we call safety, is identified to be important. When satisfied, we show that our decentralized diagnosis approach can easily be extended to reconfig-urable systems. 1