TY - GEN
T1 - Simulation-based validation for smart grid environments
AU - Han, Wonkyu
AU - Mabey, Mike
AU - Ahn, Gail-Joon
PY - 2013
Y1 - 2013
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 other words, 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 paper, 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 generalization and specialization of the entities in the model for a customized simulation with specific scenarios. 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 other words, 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 paper, 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 generalization and specialization of the entities in the model for a customized simulation with specific scenarios. 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.
UR - http://www.scopus.com/inward/record.url?scp=84891085482&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84891085482&partnerID=8YFLogxK
U2 - 10.1109/IRI.2013.6642448
DO - 10.1109/IRI.2013.6642448
M3 - Conference contribution
AN - SCOPUS:84891085482
SN - 9781479910502
T3 - Proceedings of the 2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013
SP - 14
EP - 21
BT - Proceedings of the 2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013
PB - IEEE Computer Society
T2 - 2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013
Y2 - 14 August 2013 through 16 August 2013
ER -