Browse by author
Lookup NU author(s): Dr Stephen Paynter, Dr James Armstrong
This paper describes a real-time transaction model for the specification of functional and timing requirements of tasks in real-time systems, which allows for the rigorous de-composition of end-to-end timing properties in the refinement of these tasks. To enable this rigour the model does not only allow the specification of transaction invocation and completion times, but also of time windows during which transaction inpiuts or outputs should occur. Three types of transaction are distinguished according to their activation: periodic, sporadic and conditional. A simple formalism for reasoning with time windows is introduced, which is applied to a number of examples of transaction refinement.
Author(s): Haveman J, Paynter S, Armstrong JM
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1997
Pages: 28
Print publication date: 01/12/1997
Source Publication Date: December 1997
Report Number: 607
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/607.pdf