Abstract
The protection system is a crucial part of the power grid. It protects people, equipment, and property. Reliability of such mission critical systems is of an extreme importance. Protection systems have strict requirements to reliability including dependability, security and timeliness. Although it undertakes rigorous testing and commissioning, it fails in some circumstances causing faults in the network, resulting in loss of power. It is hard to catch these hidden and undetectable errors in the design and installation. Since protection function is essentially a piece of code, formal methods can be used for rigorous testing of the software and provide definitive proof of the system properties. This paper proposes a formal model (to use in formal verification techniques) for protection systems. The paper develops closed loop model of the electrical network with its protection system. The model is developed in IEC 61499 language for the further generation of its formal model in SMV language. The model is validated via simulation and comparison with a comprehensive model of the electrical network in Matlab Simulink. In future work, the generated SMV model will be used to formally verify reliability requirements of the protection system.
Original language | English |
---|---|
Title of host publication | Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016 |
Publisher | IEEE |
Pages | 5302-5309 |
Number of pages | 8 |
ISBN (Electronic) | 9781509034741 |
DOIs | |
Publication status | Published - 21 Dec 2016 |
MoE publication type | A4 Conference publication |
Event | Annual Conference of the IEEE Industrial Electronics Society - Florence, Italy Duration: 24 Oct 2016 → 27 Oct 2016 Conference number: 42 |
Publication series
Name | Proceedings of the Annual Conference of the IEEE Industrial Electronics Society |
---|---|
Publisher | IEEE |
ISSN (Print) | 1553-572X |
Conference
Conference | Annual Conference of the IEEE Industrial Electronics Society |
---|---|
Abbreviated title | IECON |
Country/Territory | Italy |
City | Florence |
Period | 24/10/2016 → 27/10/2016 |
Keywords
- Closed loop modeling and verification
- Formal model
- Overcurrent protection
- Power system
- Proteciton system
- Verification