This paper discusses the problem of integration of dependability in FMS. It presents a supervision system to be integrated to the control system. We will especially interested in the module which controls the execution of actions in a workshop. The aim is to survey the system in real time. To cope with these requirements, the use of the synchronous languages seems the most appropriate. An explicit redundance must be also introduced. The ESTEREL language will be used to describe the functioning of a workshop. The compilation of ESTEREL programs generates a finite state automaton. The obtained model will be validated by proof tools. This method allows for an instantaneous failure detection, which provides the FMS with the two properties of reliability (fault-tolerance) and availability (fault-avoidance). This approach is based on the information from sensors.
S. Elkhattabi, D. Corbeel, J. C. Gentina
Journal name not available for this finding