The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1985 vol.11)
pp: 80-86
B. Dasarathy , GTE Laboratories Inc.
ABSTRACT
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, January 1985, doi:10.1109/TSE.1985.231845
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool