A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation
- Lookup NU author(s)
- Professor John Fitzgerald
- Dr Ken Pierce
- Dr Carl Gamble
|
|
|
|
| Author(s) | | Fitzgerald J, Pierce K, Gamble C |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2012 |
| Date | | May 2012 |
| Report Number | | 1331 |
| Pages | | 14 |
|
|
|
| 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. |
|
|
|
| Institution | | Newcastle University |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
