Synchronous design of a transformer station controller with SIGNAL

This paper presents the specification and validation 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, the authors use the synchronous approach to reactive real-time systems, and in particular the data flow language SIGNAL, and it 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.