A Model Checking Approach to Testing the Reliability of Smart Grid Protection Systems
Document Type
Article
Publication Date
12-2-2017
Abstract
Excerpt: As distributed, communication-based protection systems become more prevalent in the emerging smart grid, the task of critically assessing their reliability has become increasingly challenging due to the complexity of their underlying software designs. This paper demonstrates that the discipline of software model checking can be applied to smart grid protection software designs to rigorously assess their fault tolerance. In this paper, the SPIN model checker is applied to a published wide-area backup protection system (WABPS).
Source Publication
IEEE Transactions on Power Delivery (ISSN 0885-8977 | eISSN 1937-4208)
Recommended Citation
S. T. Hamman, K. M. Hopkinson and J. E. Fadul, "A Model Checking Approach to Testing the Reliability of Smart Grid Protection Systems," in IEEE Transactions on Power Delivery, vol. 32, no. 6, pp. 2408-2415, Dec. 2017, doi: 10.1109/TPWRD.2016.2635480.
Comments
Copyright © 2017, IEEE
The full article is available from IEEE via subscription or purchase, using the DOI link below.