An Analysis of Zero-Clairvoyant Scheduling
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Scheduling of Real-Time Tasks with Complex Constraints
Performance Evaluation: Origins and Directions
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
ICN '01 Proceedings of the First International Conference on Networking-Part 1
Rapid prototyping using executable requirements specifications
Proceedings of the workshop on Rapid prototyping
A property based specification formalism classification
Journal of Systems and Software
Validating time-constrained systems using UML statecharts patterns and timed automata observers
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
A test purpose-based approach for testing timed input output automata
Software Testing, Verification & Reliability
Hi-index | 0.00 |
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.