Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/213.pdf