ePrints

Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation

Lookup NU author(s): Dr Zoe Andrews, Professor John Fitzgerald

Downloads

• Published version [.pdf]

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.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2007

Pages: 5

Print publication date: 01/05/2007

Source Publication Date: May 2007

Report Number: 1020

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

Share