Publication | Closed Access
Concurrent error detection using watchdog processors-a survey
563
Citations
48
References
1988
Year
EngineeringConcurrent Error DetectionVerificationComputer ArchitectureFault ToleranceConcurrent SystemHardware SystemsSoftware AnalysisFormal VerificationHardware SecurityError DetectionConcurrency (Computer Science)Systems EngineeringParallel ComputingConcurrent ProgrammingComputer EngineeringNetworked Computer SystemsDistributed SystemsComputer ScienceControl FlowOperating SystemsWatchdog ProcessorProgram AnalysisSoftware TestingParallel ProgrammingReal-time SystemsAsynchronous SystemsFault InjectionSystem Software
Concurrent system-level error detection techniques using a watchdog processor are surveyed. A watchdog processor is a small and simple coprocessor that detects errors by monitoring the behavior of a system. Like replication, it does not depend on any fault model for error detection. However, it requires less hardware than replication. It is shown that a large number of errors can be detected by monitoring the control flow and memory-access behavior. Two techniques for control-flow checking are discussed and compared with current error-detection techniques. A scheme for memory-access checking based on capability-based addressing is described. The design of a watchdog for performing reasonable checks on the output of a main processor by executing assertions is discussed.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1