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): 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