Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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

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

Downloads

Licence

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

Abstract

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

URL: http://ojs.statsbiblioteket.dk/index.php/ece/issue/view/3507

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

Share