Title: Formal specification of smart grids for cascading-failures analysis using Alloy modelling language

Authors: Elnaz Javadianpoor; Shohreh Ajoudanian

Addresses: Faculty of Computer Engineering, Najafabad Branch, Islamic Azad University, Najafabad, Iran ' Faculty of Computer Engineering, Najafabad Branch, Islamic Azad University, Najafabad, Iran; Big Data Research Centre, Najafabad Branch, Islamic Azad University, Najafabad, Iran

Abstract: Smart grids are widely interacting with other communicative grids and it can be said that they are interconnected grids. Owing to their interdependency, a partial failure in these grids may cause cascading failures. To prevent failure, smart grids should be able to restore themselves and quickly return to their desirable conditions despite emerging errors. Therefore, it is vital to investigate the effect of communicative grids' various dependencies and structural properties on smart power grids' cascading failures. Nowadays, smart grids infrastructure modelling is one of the most important plans and priorities of many governments and power companies. The current study investigated and introduced a modelling approach to analyse failures and critical infrastructures in smart power grids. The results showed that accurate modelling of smart equipment components would make it possible to identify and prevent cascading failures in smart grids.

Keywords: modelling; Alloy modelling language; formal specification; smart grids; cascading failures.

DOI: 10.1504/IJGUC.2024.142752

International Journal of Grid and Utility Computing, 2024 Vol.15 No.6, pp.529 - 542

Received: 15 Jan 2023
Accepted: 27 Dec 2023
Published online: 20 Nov 2024 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article