A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation

  1. Lookup NU author(s)
  2. Professor John Fitzgerald
  3. Dr Ken Pierce
  4. Dr Carl Gamble
Author(s)Fitzgerald J, Pierce K, Gamble C
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateMay 2012
Report Number1331
Full text is not currently available for this publication.
The engineering of resilient cyber-physical systems requires collaborative development and analysis of models from different disciplines, including discrete-event models of software and continuous-time models of physical plant. This paper describes a rigorous approach to the model-based design of such systems through co-simulation of discrete-event models in the Vienna Development Method (VDM) and continuous-time models in 20-sim. These are coupled by a co-simulation tool that coordinates the execution of the models in their respective simulators. Co-models can be augmented with descriptions of potential failures and fault tolerance mechanisms, allowing early stage evaluation of alternatives before a commitment is made to realising functionality in the cyber or physical side. We describe the content of an emerging methodology for co-model develop- ment, co-simulation and design space exploration, presenting a case study and two examples from the library of design patterns developed for this setting.
InstitutionNewcastle University
Place PublishedNewcastle upon Tyne
ActionsLink to this publication