Error recovery using forced validity assisted by executableassertions for error detection: an experimental evaluation

摘要

This paper proposes and evaluates error detection and recoverymechanisms suitable for embedded systems. The purpose of thesemechanisms is to provide detection of and recovery from data errors ininternal variables. A classification scheme for variables enables us toconstruct a parameterised detection and recovery mechanism for eachvariable. Error detection is handled by executable assertions andrecovery is attempted by forcing an erroneous variable into the validdomain of that variable. The effect on failure probability from some ofthe proposed mechanisms is evaluated in an error injection experimenttargeting an embedded system. Errors were injected into the originalsystem without mechanisms as well as into an instrumented system.Results show that the failure probability decreased most for errors inmonitored variables and very little for errors in variables that werenot directly monitored. For errors in the stack and CPU registers, nosignificant change was observed