Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation

被引:3
作者
Ahmad, Waqar [1 ]
Hasan, Osman [2 ]
Tahar, Sofiene [1 ]
机构
[1] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ, Canada
[2] Natl Univ Sci & Technol, Sch Elect Engn & Comp Sci, Islamabad, Pakistan
关键词
Smart grid; Reliability block diagrams; Fault tree; Higher-order logic; Theorem proving; BLOCK DIAGRAMS; PETRI NETS;
D O I
10.1007/s00165-019-00503-1
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Secure and continuous operation of a smart grid substation mainly depends upon the reliable functioning of its communication network. The communication system of a smart substation is typically based on a high performance Ethernet communication network that connects various intelligent embedded devices, such as Intelligent Electronic Devices (IED) andMerging Units (MU), to ensure continuous monitoring, automation and efficient demand response of the smart substation. Traditionally, Reliability Block Diagram (RBD) and Fault Tree (FT) methods are used to develop reliability and failure models for these communication networks by considering the failure characteristics of their substation intelligent embedded devices and other components, like transformers and circuit breakers. These resulting reliability and failure models are then analyzed using paper-and-pencil methods or computer simulations, but they cannot assure accuracy in the analysis due to their inherent limitations. As an accurate alternative, we propose a methodology, based on higher-order logic theorem proving, for conducting the formal RBD and FT-based reliability and failure analysis of smart substation communication networks, respectively. This paper also describes a sound transformation of smart grid FT models to their equivalent RBDs - a well-known method to reduce the complexity of FT-based failure analysis. Some ML-based tactics have been developed to automatically compute the reliability and failure probability of smart grid substations for practical purposes.
引用
收藏
页码:71 / 111
页数:41
相关论文
共 65 条
[31]   Impacts of Automated Control Systems on Substation Reliability [J].
Hajian-Hoseinabadi, Hamze .
IEEE TRANSACTIONS ON POWER DELIVERY, 2011, 26 (03) :1681-1691
[32]  
Harrison J, 1996, 36 TURK CTR COMP
[33]  
Hasan O., 2014, Advances in Information Quality and Management, P7162
[34]   Performance analysis of ARQ protocols using a theorem prover [J].
Hasan, Osman ;
Tahar, Sofiene .
ISPASS 2008: IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, 2008, :85-+
[35]  
Hasan O, 2007, LECT NOTES ARTIF INT, V4603, P3
[36]  
Henley E.J., 1981, RELIABILITY ENG RISK
[37]  
Holzl Johannes, 2011, Interactive Theorem Proving. Proceedings Second International Conference, ITP 2011, P135, DOI 10.1007/978-3-642-22863-6_12
[38]  
Hurd J., 2003, THESIS
[39]  
Kanabar M.G., 2009, Proc. IEEE Power Energy Society General Meeting, Calgary, AB, P1, DOI DOI 10.1109/PES.2009.5276001
[40]  
Khurram A, 2013, LECT NOTES COMPUT SC, V8187, P169, DOI 10.1007/978-3-642-41010-9_12