Automatic Re-Programming for Robustness
01 January 1986
Even rigorously verified programs may be poorly protected against actual hazards encountered in large embedded systems (e.g., corrupted data, unforssen user actions, or peripheral device failures). RIP is a knowledge-based automatic programming tool to restrofit correct but "naively" written algorithms with enhanced error handling properties, including error detection and damage confinement.