H. Marchand, E. Rutten, M. Samaan. Synchronous design of a transformer station controller in Signal. In Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, Pages 754-759, September 1995.
Download paper:
Adobe portable document (pdf)
Copyright notice:
This 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 page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic
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 http://www.irisa.fr/prive/hmarchan
@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)
|
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |