TY - JOUR
T1 - Simulation-based validation for Smart Grid environments
T2 - Framework and experimental results
AU - Han, Wonkyu
AU - Mabey, Mike
AU - Ahn, Gail-Joon
AU - Kim, Tae Sung
N1 - Funding Information:
This work was partially supported by grants from the National Science Foundation and the Department of Energy.
Publisher Copyright:
© Springer International Publishing Switzerland 2014.
PY - 2014
Y1 - 2014
N2 - Large and complex systems, such as the Smart Grid, are often best understood through the use of modeling and simulation. In particular, the task of assessing a complex system’s risks and testing its tolerance and recovery under various attacks has received considerable attention. However, such tedious tasks still demand a systematic approach to model and evaluate each component in complex systems. In otherwords, supporting a formal validation and verification without needing to implement the entire system or accessing the existing physical infrastructure is critical since many elements of the Smart Grid are still in the process of becoming standardized for widespread use. In this chapter, we describe our simulation-based approach to understanding and examining the behavior of various components of the Smart Grid in the context of verification and validation. To achieve this goal, we adopt the discrete event system specification (DEVS) modeling methodology, which allows the generalization and specialization of entities in the model and supports a customized simulation with specific variables. In addition, we articulate metrics for supporting our simulation-based verification and validation and demonstrate the feasibility and effectiveness of our approach with a real-world use case.
AB - Large and complex systems, such as the Smart Grid, are often best understood through the use of modeling and simulation. In particular, the task of assessing a complex system’s risks and testing its tolerance and recovery under various attacks has received considerable attention. However, such tedious tasks still demand a systematic approach to model and evaluate each component in complex systems. In otherwords, supporting a formal validation and verification without needing to implement the entire system or accessing the existing physical infrastructure is critical since many elements of the Smart Grid are still in the process of becoming standardized for widespread use. In this chapter, we describe our simulation-based approach to understanding and examining the behavior of various components of the Smart Grid in the context of verification and validation. To achieve this goal, we adopt the discrete event system specification (DEVS) modeling methodology, which allows the generalization and specialization of entities in the model and supports a customized simulation with specific variables. In addition, we articulate metrics for supporting our simulation-based verification and validation and demonstrate the feasibility and effectiveness of our approach with a real-world use case.
KW - Discrete event system specification
KW - Risk assessment
KW - Simulation
KW - Smart grid
KW - Validation
UR - http://www.scopus.com/inward/record.url?scp=84912125291&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84912125291&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-04717-1_2
DO - 10.1007/978-3-319-04717-1_2
M3 - Article
AN - SCOPUS:84912125291
SN - 2194-5357
VL - 263
SP - 27
EP - 44
JO - Advances in Intelligent Systems and Computing
JF - Advances in Intelligent Systems and Computing
ER -