Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Adobe portable document format (pdf)
Copyright noticeThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
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.
Hervé Marchand
hmarchan@irisa.fr
@InProceedings{marchand95a,
Author = {Marchand, H. and Rutten, E. and Samaan, M.},
Title = {Synchronous design of a transformer station controller in Signal},
BookTitle = {Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York},
Pages = {754--759},
Month = {September},
Year = {1995}
}
Get EndNote Reference (.ref)