A sequential real-time refinement calculus

Hayes, I. J. and Utting, M. (2001) A sequential real-time refinement calculus. Acta Informatica, 37 6: 385-448. doi:10.1007/PL00013311

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
A_sequential_real-time_refinement.pdf A_sequential_real-time_refinement.pdf application/pdf 341.44KB 0

Author Hayes, I. J.
Utting, M.
Title A sequential real-time refinement calculus
Journal name Acta Informatica   Check publisher's open access policy
ISSN 0001-5903
Publication date 2001-01-01
Sub-type Article (original research)
DOI 10.1007/PL00013311
Open Access Status File (Author Post-print)
Volume 37
Issue 6
Start page 385
End page 448
Total pages 64
Editor M. Broy
Place of publication New York
Publisher Springer-Verlag
Language eng
Subject 0803 Computer Software
Abstract We present a comprehensive refinement calculus for the development of sequential, real-time programs from real-time specifications. A specification may include not only execution time limits, but also requirements on the behaviour of outputs over the duration of the execution of the program. The approach allows refinement steps that separate timing constraints and functional requirements. New rules are provided for handling timing constraints, but the refinement of components implementing functional requirements is essentially the same as in the standard refinement calculus. The product of the refinement process is a program in the target programming language extended with timing deadline directives. The extended language is a machine-independent, real-time programming language. To provide valid machine code for a particular model of machine, the machine code produced by a compiler must be analysed to guarantee that it meets the specified timing deadlines.
Keyword Computer Science, Information Systems
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 24 times in Thomson Reuters Web of Science Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 06 Apr 2006, 22:16:57 EST