Toggle Main Menu Toggle Search

Open Access padlockePrints

Resilience Profi ling in the Model-Based Design of Cyber-Physical Systems

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



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


We consider the potential to use co-modelling and co-simulation in the design of dependably resilient Cyber-Physical Systems (CPSs). Resilience is widely discussed in the public discourse on CPSs, but has many definitions. We propose the description of system resilience in terms of a multi-attribute 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 forfurther proof-of-concept studies that experiment with increasingly challenging CPS architectures.

Publication metadata

Author(s): Jackson M, Fitzgerald J

Editor(s): Larsen,PG;Plat,N;Battle,N;

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 14th Overture Workshop: Towards Analytical Tool Chains

Year of Conference: 2016

Pages: 1-15

Print publication date: 07/11/2016

Online publication date: 07/11/2016

Acceptance date: 29/09/2016

Date deposited: 07/11/2016

ISSN: 2245-2087

Publisher: Aarhus University Department of Engineering


Series Title: Technical Report Electronics and Computer Engineering Technical report ECE-TR-28