City Research Online

Abstract

The evaluation of the security, reliability and resilience of critical infrastruc-tures (CI) faces a wide range of challenges ranging from the scale and tempo of attacks to the need to address complex and interdependent systems of sys-tems. Model-based approaches and probabilistic design are fundamental to the evaluation of CI and we need to know whether we can trust these mod-els. This paper presents an approach we are developing to justify the models used to assure CI using structured assurance cases based on Claims, Argu-ments and Evidence (CAE). The modelling and quantitative evaluation of the properties are supported by the Preliminary Interdependency Analysis (PIA) method and platform applied to a case study – a reference power transmission network enhanced with an industrial distributed system of monitoring, protection and control. We discuss the usefulness of the model-ling and assurance case structuring approaches, some findings from the case study, and outline the directions of further work.

Publication Type:	Conference or Workshop Item (Paper)
Additional Information:	The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24249-1_30
Publisher Keywords:	Assurance Cases, CAE Building Blocks, Critical Infrastructures, Power Transmission Network, Preliminary Interdependency Analysis
Subjects:	T Technology > TA Engineering (General). Civil engineering (General)
Departments:	School of Science & Technology > Engineering

Export

Downloads