Executable assertions for detecting data errors in embedded control systems
- 7 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
In order to be able to tolerate the effects of faults, we must first detect the symptoms of faults, i.e. the errors. This paper evaluates the error detection properties of an error detection scheme based on the concept of executable assertions aiming to detect data errors in internal signals. The mechanisms are evaluated using error injection experiments in an embedded control system. The results show that using the mechanisms allows one to obtain a fairly high detection probability for errors in the areas monitored by the mechanisms. The overall detection probability for errors injected to the monitored signals was 74%, and if only errors causing failure are taken into account we have a detection probability of over 99%. When subjecting the target system to random error injections in the memory areas of the application, i.e., not only the monitored signals, the detection probability for errors that cause failure was 81%.Keywords
This publication has 13 references indexed in Scilit:
- Executable Assertions - An Aid To Reliable SoftwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Executable assertions and timed traces for on-line software error detectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On microprocessor error behavior modelingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An experimental comparison of fault and error injectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Dynamic acceptance tests for complex controllersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Predicting physical processes in the presence of faulty sensor readingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Estimators for fault tolerance coverage evaluationIEEE Transactions on Computers, 1995
- The use of self checks and voting in software error detection: an empirical studyIEEE Transactions on Software Engineering, 1990
- Distributed execution of recovery blocks: an approach for uniform treatment of hardware and software faults in real-time applicationsIEEE Transactions on Computers, 1989
- Data diversity: an approach to software fault toleranceIEEE Transactions on Computers, 1988