Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation

  1. Lookup NU author(s)
  2. Dr Zoe Andrews
  3. Professor John Fitzgerald
Author(s)Andrews Z, Fitzgerald J, Verhoef M
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Year2007
DateMay 2007
Report Number1020
Pages5
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/1020.pdf
ActionsLink to this publication