Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model

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.

Publication metadata

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