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.

Original publication

Jump to: Cite & Linked | Documents & Media | Details | Version history

Cite this publication

​Communication patterns for expressing real-time requirements using MSC and their application to testing​
Neukirchen, H.; Dai, Z. R. & Grabowski, J.​ (2004)
pp. 144​-159. ​16th International Conference on Testing of Communicating Systems (TestCom 2004)​, St Anns Coll, Oxford, ENGLAND.
Berlin​: Springer.

Copy

Further links

Documents & Media

License

GRO License GRO License

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

Export Metadata

Refman EndNote BibTeX RefWorks Excel CSV

Reference

Citations