Supervision by the behavior modelling

This paper proposes a low-level on-line supervision for discrete event systems. This supervision guarantees human and material security, increases the hardware availability and insures reliability of the control system. This system is based on commands filtering and reactive checking of the execution of commands. Only the filtering part will be presented: an aided design of commands filters. It allows one to generate reduced behavior models integrating security and functional constraints. The design and the simulation are elaborated by synchronous programming. The choice of Esterel as the synchronous language, has been motivated by its temporal constraints expression and its activity orientation. The environment AGEL allows one to integrate automaton models of filters in the synchronous programming framework.