Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems (2009-2011)

Real-time computer systems are being employed in increasingly sophisticated ways to control mission-critical applications, where failure can be costly, and safety-critical applications, such as robotics, where failure can endanger lives. The aim of this project is to provide better methods for developing and reasoning about advanced real-time control systems, in a manner that provides the dependability required for their use in safety-critical applications. The project combines two new approaches: modelling real-time systems in terms of time bands and implementing them via teleo-reactive programming. Together these provide a robust implementation, whose dependability properties can be assessed more effectively.