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

Thomas Walter, Jens Grabowski

Abstract

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.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
IFIP TC6 10th International Workshop on Testing of Communicating Systems
Series: 
IFIP - The International Federation for Information Processing
Publisher: 
Springer
Volume: 
10
Pages: 
37-54
Month: 
9
Year: 
1997
2020 © Software Engineering For Distributed Systems Group

Main menu 2