This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
January 1985 (vol. 11 no. 1)
pp. 80-86
B. Dasarathy, GTE Laboratories Inc.
This paper examines timing constraints as features of realtime systems. It investigates the various constructs required in requirements languages to express timing constraints and considers how automatic test systems can validate systems that include timing constraints. Specifically, features needed in test languages to validate timing constraints are discussed. One of the distinguishing aspects of three tools developed at GTE Laboratories for real-time systems specification and testing is in their extensive ability to handle timing constraints. Thus, the paper highlights the timing constraint features of these tools.
Index Terms:
validation, Real-time systems, requirements specification, test generation, test language, timing constraints
Citation:
B. Dasarathy, "Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them," IEEE Transactions on Software Engineering, vol. 11, no. 1, pp. 80-86, Jan. 1985, doi:10.1109/TSE.1985.231845
Usage of this product signifies your acceptance of the Terms of Use.