Toggle Main Menu Toggle Search

Open Access padlockePrints

A Transaction Model for Real-Time Systems

Lookup NU author(s): Dr Stephen Paynter, Dr James Armstrong

Downloads


Abstract

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.


Publication metadata

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


Share