Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Specification of N-modular Redundancy

Lookup NU author(s): Professor Maciej KoutnyORCiD



This paper investigates N-Modular Redundancy (NMR) in the form of replicated computations in a concurrent programming model consisting of communicating processes. A formal specification of NMR is given to express the correct behaviour of the system in the presence of non-determinism. The COpy path expressions formalism is used as a formal model. Then some implementations are proposed which satisfy the given specification. This approach permits redundnat systems to be robust with respect to failures in redundant processors, and also permits the use of software fault tolerance techniques such as N-version programming.

Publication metadata

Author(s): Mancini LV, Koutny M

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1986

Pages: 18

Report Number: 213

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne