Communication Patterns for Expressing Real-Time Requirements Using MSC and their Application to Testing

Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski

Abstract

This paper introduces real-time communication patterns (RTC-patterns) for capturing real-time requirements of communication systems. RTC-patterns for some of the most common real-time requirements are presented. They are formalized by using Message Sequence Charts (MSCs). The application of RTC-patterns to testing is explained by an example. The example shows how real-time requirements which are expressed using RTC-patterns can be related to TimedTTCN-3 evaluation functions.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004)
Address: 
Oxford, United Kingdom
Publisher: 
Springer
Number: 
2978
Month: 
3
Year: 
2004
2024 © Software Engineering For Distributed Systems Group

Main menu 2