Browse by author
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.
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
URL: http://ojs.statsbiblioteket.dk/index.php/ece/issue/view/3507
Series Title: Technical Report Electronics and Computer Engineering Technical report ECE-TR-28
