Communication patterns for expressing real-time requirements using MSC and their application to testing
2004 | conference paper. A publication with affiliation to the University of Göttingen.
Jump to: Cite & Linked | Documents & Media | Details | Version history
Cite this publication
Neukirchen, H., Z. R. Dai, and J. Grabowski. "Communication patterns for expressing real-time requirements using MSC and their application to testing." 16th International Conference on Testing of Communicating Systems (TestCom 2004), St Anns Coll, Oxford, ENGLAND, 2004-03-17 - 2004-03-192004. pp. 144-159
Documents & Media
Details
- Authors
- Neukirchen, H.; Dai, Z. R.; Grabowski, J.
- 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.
- Issue Date
- 2004
- Publisher
- Springer
- Conference
- 16th International Conference on Testing of Communicating Systems (TestCom 2004)
- Series
- Lecture Notes in Computer Science
- ISBN
- 3-540-21219-1
- Conference Place
- St Anns Coll, Oxford, ENGLAND
- Event start
- 2004-03-17
- Event end
- 2004-03-19