Dependability Analysis of Control Center Networks in Smart Grid Using Stochastic Petri Nets

被引:44
作者
Zeng, Rongfei [1 ]
Jiang, Yixin [2 ]
Lin, Chuang [1 ]
Shen, Xuemin [3 ]
机构
[1] Tsinghua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China
[2] China So Power Grid Co Ltd, EPRI, Guangzhou 510080, Guangdong, Peoples R China
[3] Univ Waterloo, Dept Elect & Comp Engn, Waterloo, ON N2L 3G1, Canada
基金
中国国家自然科学基金;
关键词
Smart grid; dependability analysis; stochastic Petri nets; SECURITY;
D O I
10.1109/TPDS.2012.68
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
As an indispensable infrastructure for the future life, smart grid is being implemented to save energy, reduce costs, and increase reliability. In smart grid, control center networks have attracted a great deal of attention, because their security and dependability issues are critical to the entire smart grid. Several studies have been conducted in the field of smart grid security, but few work focuses on the dependability analysis of control center networks. In this paper, we adopt a concise mathematic tool, stochastic Petri nets (SPNs), to analyze the dependability of control center networks in smart grid. We present the general model of control center networks by considering different backup strategies of critical components. With the general SPNs model, we can measure the dependability from two metrics, i.e., the reliability and availability, through analyzing the transient and steady-state probabilities simultaneously. To avoid the state-space explosion problem in computing, the state-space explosion avoidance method is proposed as well. Finally, we study a specific case to demonstrate the feasibility and efficiency of the proposed model in the dependability analysis of control center networks in smart grid.
引用
收藏
页码:1721 / 1730
页数:10
相关论文
共 29 条
[1]  
Amin M, 2002, COMPUTER, P8
[2]   TIME SCALE DECOMPOSITION OF A CLASS OF GENERALIZED STOCHASTIC PETRI NET MODELS [J].
AMMAR, HH ;
ISLAM, SMR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (06) :809-820
[3]   Basic concepts and taxonomy of dependable and secure computing [J].
Avizienis, A ;
Laprie, JC ;
Randell, B ;
Landwehr, C .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) :11-33
[4]   Risk Assessment of Malicious Attacks Against Power Systems [J].
Bompard, Ettore ;
Gao, Ciwei ;
Napoli, Roberto ;
Russo, Angela ;
Masera, Marcelo ;
Stefanini, Alberto .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (05) :1074-1085
[5]   Dependability modeling and evaluation of multiple-phased systems using DEEM [J].
Bondavalli, A ;
Chiaradonna, S ;
Di Giandomenico, F ;
Mura, I .
IEEE TRANSACTIONS ON RELIABILITY, 2004, 53 (04) :509-522
[6]  
Chen T., 2010, P SOC PHOTO-OPT INS, P1
[7]   SCADA cyber security testbed development [J].
Davis, C. M. ;
Tate, J. E. ;
Okhravi, H. ;
Grier, C. ;
Overbye, T. J. ;
Nicol, D. .
2006 38TH ANNUAL NORTH AMERICAN POWER SYMPOSIUM, NAPS-2006 PROCEEDINGS, 2006, :483-+
[8]   Toward a framework for managing information security for an electric power utility - CIGRE experiences [J].
Ericsson, Goran N. .
IEEE TRANSACTIONS ON POWER DELIVERY, 2007, 22 (03) :1461-1469
[9]   Dependability analysis of power system protections using stochastic hybrid simulation with Modelica [J].
Ferrarini, Luca ;
Carneiro, Juliano S. A. ;
Radaelli, Simone ;
Ciapessoni, Emanuele .
PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-10, 2007, :1584-+
[10]  
Fleury T, 2008, INT FED INFO PROC, V290, P71