Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation
- Lookup NU author(s)
- Dr Zoe Andrews
- Professor John Fitzgerald
|
|
|
|
| Author(s) | | Andrews Z, Fitzgerald J, Verhoef M |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2007 |
| Date | | May 2007 |
| Report Number | | 1020 |
| Pages | | 5 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| We propose an approach to discrete event and continuous time co-simulation that permits the analysis of alternative fault-tolerance strategies in formal models of embedded systems at early design stages. The approach is based on the use of a model-oriented specification language with a continuous time simulator modelling controlled processes. This permits the explicit modelling of faults and the analysis of the resilience properties of a design. |
|
|
|
| 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/1020.pdf |
| Actions | |  |
