Browse by author
Lookup NU author(s): Mark Jackson,
Professor John Fitzgerald
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.
© 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.
Author(s): Jackson M, Fitzgerald JS
Editor(s): Antonio Cerone and Marco Roveri
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Software Engineering and Formal Methods (SEFM 2017)
Year of Conference: 2018
Online publication date: 02/02/2018
Acceptance date: 02/04/2016
Date deposited: 14/08/2020
Publisher: Springer Verlag
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science