Toggle Main Menu Toggle Search

Open Access padlockePrints

A Systematic Method for Development of Real-Time Systems

Lookup NU author(s): Neil Henderson

Downloads


Abstract

In this paper we identify the need for a more systematic method to support the specification and analysis of reactive real-time systems and propose such an approach based on real-time transactions. Firstly, a graphical notation is outlined that can be used to specify the timing properties of real-time transactions. Secondly, rigorous formal notatin is proposed to support the expression of transaction functionality. Finally, a timing analysis method is described that can be used to predict the timing behaviour of the system at any stage of refinement of the model. The use of the approach is illustrated via a case study. We suggest that the application of a more systematic approach to the development of real-time systems can provied major cost benefits when considered over the life cycle of the system.


Publication metadata

Author(s): Henderson N

Publication type: Report

Publication status: Published

Series Title:

Year: 2000

Pages: 6

Report Number: CS-TR-710

Institution: School of Computing Science

Place Published: University of Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/research/pubs/trs/papers/710.pdf


Share