Journal article
A sequential real-time refinement calculus
Acta Informatica, Vol.37(6), pp.385-448
2001
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.
Details
- Title
- A sequential real-time refinement calculus
- Authors
- I J Hayes (Author) - University of QueenslandMark Utting (Author) - University of Waikato, New Zealand
- Publication details
- Acta Informatica, Vol.37(6), pp.385-448
- Publisher
- Springer
- Date published
- 2001
- DOI
- 10.1007/PL00013311
- ISSN
- 0001-5903
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99448965802621
- Output Type
- Journal article
Metrics
4 File views/ downloads
502 Record Views
InCites Highlights
These are selected metrics from InCites Benchmarking & Analytics tool, related to this output
- Collaboration types
- Domestic collaboration
- International collaboration
- Web Of Science research areas
- Computer Science, Information Systems