Browse by author
Lookup NU author(s): Neil Henderson
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.
Author(s): Grigg A, Henderson N
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 2000
Pages: 6
Print publication date: 01/01/2000
Source Publication Date: 2000
Report Number: 710
Institution: Department of Computing Science, The University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/710.pdf
