Modelling and analysis of cascading failures in interoperable critical infrastructure systems
by Moslem Fatahi Savadjani; Shohreh Ajoudanian
International Journal of Mathematics in Operational Research (IJMOR), Vol. 21, No. 3, 2022

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.

Online publication date: Tue, 12-Apr-2022

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Mathematics in Operational Research (IJMOR):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com