Modelling and analysis of cascading failures in interoperable critical infrastructure systems

Moslem Fatahi Savadjani and Shohreh Ajoudanian

International Journal of Mathematics in Operational Research, 2022, vol. 21, issue 3, 380-410

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. (search for similar items in EconPapers)
Date: 2022
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=122215 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijmore:v:21:y:2022:i:3:p:380-410

Access Statistics for this article

More articles in International Journal of Mathematics in Operational Research from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().