Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling Dynamic Reconfiguration in TMR Systems

Lookup NU author(s): Dr Marta Koutny



We here discuss the behaviour of a TMR system in which a self-reconfiguration algorithm is used to mask possible faults. As a formal model in which we specify and then analyse the TMR system we use DSCS (Dynamically Structured Communicating Systems) model. We provide a proof of the correctness of the fault masking algorithm employed by the system.

Publication metadata

Author(s): Pietkiewicz-Koutny M

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1988

Pages: 37

Print publication date: 01/06/1988

Source Publication Date: June 1988

Report Number: 261

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne