Analysing and Generating Fault-Tolerant Real-Time Systems (2005-2007)

Real-time computer systems are being increasingly employed to control safety-critical applications. Developing fault-tolerant real-time software is a complex and challenging process. One must consider not only the normal expected behaviour but behaviours in response to component faults. The additional complexity translates into additional development costs particularly for safety-critical applications where dependabilty must be assessed. This project tackles the problems of ensuring all faults including multiple simultaneous faults are safely handled by providing new approaches to the analysis of faulty behaviour as well as automated support for the generation of code to support fault detection and recovery.