Towards reasoning about teleo-reactive programs for robust real-time systems

Hayes, I.J. (2008). Towards reasoning about teleo-reactive programs for robust real-time systems. In: Guelfi, N., Muccini, H., Pelliccione, P. and Romanovsky, A., Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE '08), Newcastle Upon Tyne, UK, (87-94). 17-19 Nov 2008. doi:10.1145/1479772.1479789

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Hayes, I.J.
Title of paper Towards reasoning about teleo-reactive programs for robust real-time systems
Conference name 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE '08)
Conference location Newcastle Upon Tyne, UK
Conference dates 17-19 Nov 2008
Proceedings title Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Place of Publication New York , U.S.A.
Publisher ACM
Publication Year 2008
Sub-type Fully published paper
DOI 10.1145/1479772.1479789
Open Access Status
ISBN 978-1-60558-275-7
Editor Guelfi, N.
Muccini, H.
Pelliccione, P.
Romanovsky, A.
Start page 87
End page 94
Total pages 8
Language eng
Abstract/Summary The teleo-reactive programming approach was developed by Nilsson for application in domains like robotics. It has a high-level programming model that allows real-time control programs to be written in a manner that allows them to react robustly to changes in the environment. In this paper we give a formalisation of the semantics of teleo-reactive programs and provide rely/guarantee rules for reasoning about them. The semantics are given in a form that partitions the behaviour of the system into its behaviour over a sequence of time intervals.
Subjects E1
890299 Computer Software and Services not elsewhere classified
080309 Software Engineering
Q-Index Code E1
Q-Index Status Confirmed Code

Document type: Conference Paper
Sub-type: Fully published paper
Collections: 2009 Higher Education Research Data Collection
School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 12 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 17 Apr 2009, 20:26:07 EST by Ms Kimberley Nunes on behalf of School of Information Technol and Elec Engineering