Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation (2007)

Author(s): Andrews Z, Fitzgerald J, Verhoef M

    Abstract: 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.

      • Date: May 2007
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 5
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: Formal methods, resilience, co-simulation

      Staff

      Dr Zoe Andrews
      Research Associate

      Professor John Fitzgerald
      Director of Research in Computing Science, Director of the Centre for Software Reliability