Time Bands for Teleo-Reactive Programs

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

Teleo-reactive programming

Brijesh Dongol and Ian J. Hayes. Reasoning about teleo-reactive programs under parallel composition. Technical Report SSE-2011-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia, April 2011.
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.

Time bands

Alan Burns and Ian J. Hayes. A timeband framework for modelling real-time systems. Real-Time Systems, 45(1-2):106-142, June 2010.

Non-deterministic expression evaluation

I. J. Hayes, A. Burns, B. Dongol, and C. Jones. Comparing models of nondeterministic expression evaluation. Technical Report CS-TR-1273, Newcastle University, 2011.

Time bands, teleo-reactive programming and sampling logic

B. Dongol and I. J. Hayes. Rely/guarantee reasoning for teleo-reactive programs over multiple time bands. In 9th International Conference on Integrated Formal Methods, 2012. To appear.
B. Dongol and I. J. Hayes. Approximating idealised real-time specifications using time bands. ECEASST, 46:1-16, 2012. 11th International Workshop on Automated Verification of Critical Systems.

Program derivation

Brijesh Dongol and Ian J. Hayes. Deriving real-time action systems in a sampling logic Accepted for publication in Science of Computer Programming. Accepted 17 October 2011. This paper extends a compositional method for deriving action system.