Title :
Modelling real-time constraints
Author :
Berryman, S.J. ; Sommerville, I.
Author_Institution :
Lancaster Univ., UK
Abstract :
The objective of the work described is to provide a software tool to assist real-time system specifiers and designers to predict, at an early stage of the development process, the timing behaviour of the system developed. The tool (simulation of real-time systems (SRT)) is used to model the timing aspects of a real-time system and then simulate the system to predict its behaviour
Keywords :
formal specification; real-time systems; software tools; virtual machines; development process; real-time constraints; real-time system specifiers; software tool; timing aspects; timing behaviour;
Conference_Titel :
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location :
Cirencester
Print_ISBN :
0-85296-526-5
