Toggle Main Menu Toggle Search

Open Access padlockePrints

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

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

Downloads


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.


Publication metadata

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

Pages: 361-376

Online publication date: 02/02/2018

Acceptance date: 02/04/2016

Date deposited: 14/08/2020

ISSN: 0302-9743

Publisher: Springer Verlag

URL: https://doi.org/10.1007/978-3-319-74781-1_25

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

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319747804


Share