Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them

Survey on <i>Essential and Accidental Real-Time Issues</i> in Software Engineering

“…Testing of the software is also not maturely performed due to the short time duration [19]. Time problems sometimes occur when requirements are not clearly described by the clients.…”

Modelling long duration transactions with time constraints in active database

“…Two timing constraints namely performance constraints and behavioral constraints has been proposed for real time systems. Performance constraint limits the system itself, while behavioral constraints are applicable to users [2]. For the purpose of setting limits to the transactions, we have adopted following timing constraints: Maximum Timing Constraints: The constraint imposes temporal restriction on maximum time between occurrences of two events.…”

Specification of realtime systems using ASTRAL

“…The example is a simplification of a real phone system, every local phone number is seven digits long, area codes are three digits long, a customer can be connected to at most one other phone (either local or in another area), and ongoing calls cannot be interrupted. The motivation for this example came from the telephony example in a paper by Dasarathy [18]. Using Dasarathy's example as a starting point and the local phone system at the University of California, Santa Barbara for further clarification, the example specification was developed.…”