| Title | Modeling and Analysis Cyber Threats in Power Systems Using Architecture Analysis Design Language (AADL) |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Tamimi, A., Touhiduzzaman, M., Hahn, A. |
| Conference Name | 2019 Resilience Week (RWS) |
| Keywords | AADL, Architecture Analysis & Design Language, cyber threats, cyber-grid components, cyber-physical model, cyber-physical modeling capabilities, Cyber-physical security, Cyber-physical systems, false data injection attacks, FDI attack, Model-based analysis, power engineering computing, power grid, power grids, power system information models, power system security, Power systems, Power systems security, program verification, pubcrawl, Resiliency, Resilient Security Architectures, security of data, software architecture, specification languages, switching attack, verification techniques |
| Abstract | The lack of strong cyber-physical modeling capabilities presents many challenges across the design, development, verification, and maintenance phases of a system [7]. Novel techniques for modeling the cyber-grid components, along with analysis and verification techniques, are imperative to the deployment of a resilient and robust power grid. Several works address False Data Injection (FDI) attacks to the power grid. However, most of them suffer from the lack of a model to investigate the effects of attacks. This paper proposed a cyber-physical model using Architecture Analysis & Design Language (AADL) [15] and power system information models to address different attacks in power systems. |
| DOI | 10.1109/RWS47064.2019.8972005 |
| Citation Key | tamimi_modeling_2019 |
Modeling and Analysis Cyber Threats in Power Systems Using Architecture Analysis Design Language (AADL)