Towards resilience-explicit modelling and co-simulation of cyber-physical systems

Jackson, M; Fitzgerald, JS

doi:10.1007/978-3-319-74781-1_25

Towards resilience-explicit modelling and co-simulation of cyber-physical systems

Lookup NU author(s): Mark Jackson, Professor John Fitzgerald

Downloads

Accepted version [.pdf]

Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer Verlag, 2018.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

© Springer International Publishing AG 2018. The resilience of Cyber-Physical Systems (CPSs) is of major public concern, but is an ill-defined property that is challenging to engineer, given the complexity and multi-disciplinarity of CPSs. Co-simulation techniques are therefore attractive options, permitting cross-domain analysis of cyber and physical failures, as well as their prevention, detection and tolerance. We propose the use of a multi-attribute resilience profile as a basis for assessment and trade-off analysis in CPSs. We propose augmentations to the INTO-CPS methods that explicitly use this profile to analyse resilience by means of co-simulation at several design stages. A small pilot study shows how such methods may help the CPS engineer to identify and evaluate new resilient designs.