Real-time TTCN for testing real-time and multimedia systems

In this paper we define real-time TTCN and apply it to several applications. In real-time TTCN, statements are annotated with time labels that specify their earliest and latest execution times. The syntactical extensions of TTCN are the definition of a table for the specification of time names and time units, and two new columns in the dynamic behaviour description tables for the annotation of statements with time labels. We define an operational semantics for real-time TTCN by mapping real-time TTCN to timed transition systems. Alternatively, we introduce a refined TTCN snapshot semantics that takes time annotations into account.