A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
The concept of fail-silent nodes greatly simpli es the design and safety proof of highly dependable fault-tolerant computer systems. The MAintainable Real-Time System (MARS) is a computer system where the hardware, operating system, and application level error detection mechanisms are designed to ensure the fail silence of nodes with a high probability. The goal of this paper is two-fold: First, the error detection capabilities of the di erent mechanisms are evaluated in software-implementeddoi:10.1007/3-540-61772-8_31 fatcat:vyvgkos3rfcblfujjgs2l56u3m