ITEE Home » Time Bands for Teleo-Reactive Programs

Print version

This is the webpage for the Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems project.

The project is supported by funding from an ARC Discovery Grant.

Investigators

• Prof. Ian Hayes
• Dr. Peter Robinson
• Dr. Brijesh Dongol

Partner investigators

• Prof. Cliff Jones, Newcastle University, UK
• Prof. Alan Burns, University of York, UK
• Prof. Keith Clark, Imperial College, London, UK

Publications

Teleo-reactive programming

• Brijesh Dongol, Ian J. Hayes, and Peter J. Robinson. Reasoning About Real-Time Teleo-Reactive Programs . Technical Report SSE-2010-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. February 2010.
• Ian J. Hayes. Towards Reasoning about Teleo-Reactive Programs for Robust Real-Time Systems. In SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. Nov 17-19, 2008, pages 87-94.

Timebands

• Alan Burns and Ian J. Hayes. A Timeband Framework for Modelling Real-Time Systems Draft paper 26th March 2009.

Sampling logic

• Brijesh Dongol and Ian J. Hayes. Deriving real-time action systems in a sampling logic Draft paper 25th Jan 2011. This paper extends a compositional method for deriving action system.

Links

• Teleo-reactive programming web site.