Browse by author
Lookup NU author(s): Dr Ken Pierce, Professor John Fitzgerald, Dr Carl Gamble
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper demonstrates the modelling and simulation of errors and fault tolerance mechanisms for embedded systems, using co-models that combine discrete-event models of control software with continuous-time models of controlled plant. The approach has been realised using the VDM and 20-sim formalisms with a co-simulation engine that coordinates simulations running in their respective tools. The paper introduces the use of patterns for the formal modelling of errors and fault tolerance mechanisms in this setting, giving illustrative safety kernel and voter patterns, demonstrating their application in a case study based on paper processing machinery.
Author(s): Pierce KG, Fitzgerald JS, Gamble C
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: ERCIM/EWICS/Cyber-physical Systems Workshop at SafeComp
Year of Conference: 2011
Notes: Text also available as a school technical report at http://www.cs.ncl.ac.uk/publications/trs/papers/1280.pdf
