%0 Conference Proceedings
%F marchand95a
%A Marchand, H.
%A Rutten, E.
%A Samaan, M.
%T Synchronous design of a transformer station controller in Signal
%B Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York
%P 754-759
%X This paper presents the specification and validation verification of the automatic circuit-breaking control system of an electric power transformer station. It handles the reaction to electrical defects on the high voltage lines. The purpose of this study is to construct a discrete event control system based on digital technology. To this end, we use the synchronous approach to reactive real-time systems, and in particular the data flow language Signal, and its tools for specification, formal verification, simulation, and implementation. The hierarchical, state-based and preemptive controller is implemented with Signal and its extension for preemptive tasks Signalgti. A graphical simulator supports validation of the specification
%U http://www.irisa.fr/vertecs/Publis/Ps/1995-CCA.pdf
%8 September
%D 1995