Browse by author
Lookup NU author(s): Mark Jackson, Professor John Fitzgerald
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.
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
