Toggle Main Menu Toggle Search

Open Access padlockePrints

Resilience Profiling in the Model-Based Design of Cyber-Physical Systems

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

Downloads


Abstract

We consider the potential to use co-modelling and co-simulation in the design of dependably resilient Cyber-Physical Systems (CPSs). The topic of resilience is widely discussed in the public discourse on CPSs, but is rarely well defined. We propose the description of system resilience in terms of a composite profile which may be used as a basis for assessment and trade-off analysis in CPSs. Our profile has a particular focus on description of system recovery behaviour. As a first evaluation of the concept, we present a case study based on a VDM and 20-sim co-model of a small smart grid illustrating causal chains that cross the cyber-physical boundary. An evaluation of the study leads to suggestions for a further proof-of-concept study that experiments with increasingly challenging CPS architectures.


Publication metadata

Author(s): Jackson M, Fitzgerald J

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2016

Pages: 15

Print publication date: 20/09/2016

Acceptance date: 20/09/2016

Report Number: 1500

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1500.pdf


Share