Alban Grastien and Marie-Odile Cordier and Christine Largouët
Extending decentralized discrete-event modelling to diagnose reconfigurable systems
, DX'04 (International workshop on principles of Diagnosis) , Carcassonne , 75--80 , June , 2004 , Document

Abstract On-line reconfiguration is the ability to rearrange dynamically the elements of a system to accommodate failure events or new requirements. 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 approach 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 components 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 reconfigurable systems.


This web site is maintained by René Quiniou using the Weave system
from the Caravel project: http://www-caravel.inria.fr.
Last modification: 10-07-2011 09:54:25