The University of Queensland

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

Abstract:

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.

Grant type:

ARC Discovery Projects

Researchers:

• 

  Emeritus Professor Ian Hayes

  Emeritus Professor
  

  School of Electrical Engineering and Computer Science

  Faculty of Engineering, Architecture and Information Technology

Funded by:

Australian Research Council