Title: Modelling and analysis of cascading failures in interoperable critical infrastructure systems

Authors: Moslem Fatahi Savadjani; 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

Abstract: Studying the behaviour and structure of the critical infrastructure systems (CISs) and the interdependency among them is of special significance, and if it is not determined properly, in addition to failure and cascading failure, there will be a national catastrophe. One of the reasons for not using the proper technique for critical infrastructure modelling is not to specify the entire sample space of the system and express all its limitations so that in addition to displaying accurate infrastructure behaviour, cascading failures can be prevented to an acceptable extent. Therefore, there is a need for a CIS formal specification modelling to develop different instances of a CIS, and selecting the best and the failure-free instance of it. In this paper, we provide a formal declarative specification of CIS that supports detection and prevention of failure and cascading failure automatically in using Alloy. Since failures and cascading failures occur in dynamic and time-dependent environments, the proposed model considered dynamic aspects of CISs. The results show that using Alloy Analyser, all the models made and the current failures in infrastructure are determined using counter-examples and the best instance in terms of minimum and even without failure can be selected.

Keywords: critical infrastructure system; CIS; formal modelling; cascading failure; Alloy modelling language.

DOI: 10.1504/IJMOR.2022.122215

International Journal of Mathematics in Operational Research, 2022 Vol.21 No.3, pp.380 - 410

Received: 10 Nov 2020
Accepted: 02 Feb 2021
Published online: 12 Apr 2022 *

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