| Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (1020) | |||||||||||||||
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. © 2007 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||