Add to ORKGThe Watchdog Task, a software abstraction of the Watchdog-processor, is shown to be a powerful error detection tool with a great deal of flexibility and the advantages of watchdog techniques. A Watchdog Task system in Ada is presented; issues of recovery, latency, efficiency (communication) and preprocessing are discussed. Different applications, one of which is error detection on a single processor, are examined
Periodic application of time-redundant error checking provides the trade-off between error detection...
The main objective of this paper is to propose a software implementation model for concurrency error...
Distributed algorithms can use executable assertions derived from program verification to detect err...
A new watchdog processor scheme for concurrent checking of program control flow is presented. This ...
Processor arrays can provide an attractive architecture for some applications. Featuring modularity,...
The control flow checking technique presented in our paper is based on the new watchdog- proc...
A watchdog processor for the MOTOROLA M68040 microprocessor is presented. Its main task is to protec...
This thesis addresses three important steps in the selection of error detection mechanisms for micro...
[EN] Control flow monitoring using a watchdog processor is a well-known technique to increase the de...
Software monitoring and debugging can be efficiently supported by one of the concurrent error detect...
Coordinated Science Laboratory was formerly known as Control Systems LaboratorySDIO/IST and Office o...
The improvement of dependability in computing systems requires the evaluation of fault tolerance mec...
An approach to the analysis of concurrent software is discussed. The approach, called anomaly detect...
Coordinated Science Laboratory was formerly known as Control Systems LaboratoryNational Aeronautics ...
ISBN: 0818621508An approach to concurrent control flow checking that avoids performance and software...
Periodic application of time-redundant error checking provides the trade-off between error detection...
The main objective of this paper is to propose a software implementation model for concurrency error...
Distributed algorithms can use executable assertions derived from program verification to detect err...
A new watchdog processor scheme for concurrent checking of program control flow is presented. This ...
Processor arrays can provide an attractive architecture for some applications. Featuring modularity,...
The control flow checking technique presented in our paper is based on the new watchdog- proc...
A watchdog processor for the MOTOROLA M68040 microprocessor is presented. Its main task is to protec...
This thesis addresses three important steps in the selection of error detection mechanisms for micro...
[EN] Control flow monitoring using a watchdog processor is a well-known technique to increase the de...
Software monitoring and debugging can be efficiently supported by one of the concurrent error detect...
Coordinated Science Laboratory was formerly known as Control Systems LaboratorySDIO/IST and Office o...
The improvement of dependability in computing systems requires the evaluation of fault tolerance mec...
An approach to the analysis of concurrent software is discussed. The approach, called anomaly detect...
Coordinated Science Laboratory was formerly known as Control Systems LaboratoryNational Aeronautics ...
ISBN: 0818621508An approach to concurrent control flow checking that avoids performance and software...
Periodic application of time-redundant error checking provides the trade-off between error detection...
The main objective of this paper is to propose a software implementation model for concurrency error...
Distributed algorithms can use executable assertions derived from program verification to detect err...