Formal Reliability Analysis of Protective Relays in Power Distribution Systems

Relays are widely used in power distribution systems to isolate their faulty components and thus avoid disruption of power and damaging expensive equipment. The reliability of relay-based protection of power distribution systems is of utmost importance and is judged by first constructing Markovian models of individual modules and then analyzing these models analytically or using simulation. However, due to their inherent limitations, simulations and analytical methods cannot ascertain accurate results and are not scalable, respectively. To overcome these limitations, we propose a modular approach for developing Markovian models of relay-based protected components and then analyzing the reliability of the overall power distribution system by executing its individual modules in parallel using the PRISM probabilistic model checker. The paper presents a foundational model for a relay-based protected component that can be incrementally updated to represent more advanced behaviors, such as self-checking, routine test and continuous monitoring. Moreover, the paper provides a set of reliability assessment properties of power distribution systems that can be formally verified by PRISM. For illustration purposes, we present the analysis of a typical power distribution substation.

[1]  Joost-Pieter Katoen,et al.  A Markov reward model checker , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

[2]  Richard Brown,et al.  Electric Power Distribution Reliability, Second Edition , 2008 .

[3]  M Fotuhi-Firuzabad,et al.  New Considerations in Modern Protection System Quantitative Reliability Assessment , 2010, IEEE Transactions on Power Delivery.

[4]  R. Billinton,et al.  Determination of the Optimum Routine Test and Self-Checking Intervals in Protective Relaying Using a Reliability Model , 2002, IEEE Power Engineering Review.

[5]  Mahesh Viswanathan,et al.  VESTA: A statistical model-checker and analyzer for probabilistic systems , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

[6]  M. Fotuhi-Firuzabad,et al.  A novel routine test schedule for protective systems using an extended component-based reliability model , 2009, 2009 International Conference on Electrical and Electronics Engineering - ELECO 2009.

[7]  Håkan L. S. Younes.  Ymer: A Statistical Model Checker , 2005, CAV.

[8]  Richard E. Brown,et al.  Electric Power Distribution Reliability , 2002 .

[9]  Jean-Raymond Abrial,et al.  Faultless Systems: Yes We Can! , 2009, Computer.

[10]  Roy Billinton,et al.  Reliability evaluation of power systems , 1984 .

[11]  James S. Thorp,et al.  PROPOSED STATISTICAL PERFORMANCE MEASU MICROPROCESSOR-BASED TRANSMISSION-LINE PROTECTIVE RELAYS , 1997 .

[12]  J. Endrenyi.  Three-State Models in Power System Reliability Evaluations , 1971 .

[13]  P. M. Anderson,et al.  An improved model for protective-system reliability , 1992 .

[14]  Y. G. Paithankar,et al.  Fundamentals of Power System Protection , 2004, Optimal Coordination of Power Protective Devices with Illustrative Examples.

[15]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[16]  Jan J. M. M. Rutten,et al.  Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.

[17]  H. Seyedi,et al.  An extended Markov model to determine the reliability of protective system , 2006, 2006 IEEE Power India Conference.

[18]  Holger Hermanns,et al.  ETMCC: model checking performability properties of Markov chains , 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..

[19]  J. Sadeh,et al.  Considering failure probability for back-up relay in determination of the optimum routine test interval in protective system using Markov model , 2009, 2009 IEEE Power & Energy Society General Meeting.

[20]  C. Singh,et al.  Protection System Reliability Modeling: Unreadiness Probability and Mean Duration of Undetected Faults , 1980, IEEE Transactions on Reliability.

[21]  Jack D. Grimes.  On Determining the Reliability of Protective Relay Systems , 1970 .