Advertisement

A Proposal for a Real-Time Extension of TTCN

  • Thomas Walter
  • Jens Grabowski
Conference paper
Part of the Informatik aktuell book series (INFORMAT)

Abstract

In this paper we propose an extension of TTCN (Tree and Tabular Combined Notation) to real-time TTCN. The extension is defined on a syntactical, and semantical level. Syntactically, we provide facilities to annotate TTCN statements with two time values, namely an earliest execution time (EET) and a latest execution time (LET). The informal interpretation of these time values is that a TTCN statement may be executed if it has been continuously enabled for at least EET units and it must be executed if it has been continuously enabled for LETunits. The operational semantics of real-time TTCN is defined by means of timed transition systems. In timed transition systems an execution of a system is modelled by a timed state sequence which counts for time (progress of time) and state (execution of TTCN statements) activities. We define a mapping of real-time TTCN to timed transition systems and give examples in order to show the applicability of our approach.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    H. Bowman, L. Blair, G. Blair, A. Chetwynd. A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronization. Multimedia Transport and Teleservices. LNCS 882, 1994.Google Scholar
  2. 2.
    B. Berthomieu, M. Diaz. Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, Vol. 17, No. 3, March 1991.Google Scholar
  3. 3.
    A. Danthine, Y. Baguette, G. Leduc, Léonard.The OSI 95 Connection-Mode Transport Service - The Enhanced QoS. High Performance Networking IFIP, 1992.Google Scholar
  4. 4.
    S. Fischer. Spezifikation von Multimediasystemen mit Real-Time Estelle. 6.tes GI/ITG Fachgespräch ’Formale Beschreibungstechniken für verteilte Systeme’, Erlangen, June, 1996.Google Scholar
  5. 5.
    J. Grabowski, T. Walter. Testing Quality-of-Service Aspects in Multimedia ApplicationsProceedings of the Second Workshop on Protocols for Multi-media Systems (PROMS), Salzburg, Austria, October 1995.Google Scholar
  6. 6.
    D. Hogrefe, S. Leue. Specifying Real-Time Requirements for Communication ProtocolsTechnical Report 1AM 92–015, University of Berne, 1992.Google Scholar
  7. 7.
    T. Henzinger, Z. Manna, A. Pnueli. Timed Transition Systems. Real-Time: Theory in Practice. LNCS 600, 1991.Google Scholar
  8. 8.
    ISO/IEC. Information Technology - OSI - Conformance Testing Methodology and Framework - Part 1: General Concepts. ISO/IEC IS 9646–1, 1994.Google Scholar
  9. 9.
    ISO/IEC. Information Technology - OSI - Conformance Testing Methodology and Framework - Part 2: Abstract Test Suite Specification. ISO/IEC IS 9646–2, 1994.Google Scholar
  10. 10.
    ISO/IEC. Information Technology - OSI - Conformance Testing Methodology and Framework - Part 3: The Tree and Tabular Combined Notation (TTCN). ISO/IEC IS 9646–3, 1996.Google Scholar
  11. 11.
    R. Keller. Formal Verification of Parallel Programs. Communications of the ACM, Vol. 19, No. 7, 1976.Google Scholar
  12. 12.
    L. Léonard, G. Leduc. An Enhanced Version of Timed LOTOS and its Application to a Case Study. Formal Description Techniques VI, North-Holland, 1994.Google Scholar
  13. 13.
    S. Leue. Specifying Real-Time Requirements for SDL Specifications - A Temporal Logic Based Approach. Protocol Specification, Testing and Verification XV, 1995.Google Scholar
  14. 14.
    R. Linn. Conformance Evaluation Methodology and Protocol Testing. IEEE Journal on Selected Areas in Communications, Vol. 7, No. 7, 1989.CrossRefGoogle Scholar
  15. 15.
    P. Merlin, D. Faber. Recoverability of Communication Protocols. IEEE Transactions on Communication, Vol. 24, No. 9, September 1976.Google Scholar
  16. 16.
    R. Probert, O. Monkewich. TTCN: The International Notation for Specifying Tests of Communications Systems. Computer Networks and ISDN Systems, Vol. 23, 1992Google Scholar
  17. 17.
    J. Quemada, A. Fernandez. Introduction of Quantitative Relative Time into LOTOS. Protocol Specification, Testing and Verification VII, North-Holland, 1987.Google Scholar
  18. 18.
    B. Sarikaya. Conformance Testing: Architectures and Test Sequences. Computer Networks and ISDN Systems, Vol. 17, 1989.Google Scholar
  19. 19.
    J. Montiel, E. Rudolph, J. Burmeister (editors). Methods for QoS Verification and Protocol Conformance Testing in IBC - Application Guidelines. RACE Ref. 2088, 1993Google Scholar
  20. 20.
    T. Walter, J. Ellsberger, F. Kristoffersen, P.v.d. Merkhof. A Common Semantics Representation for SDL and TTCN. Protocol Specification, Testing and Verification XII, North-Holland, 1992.Google Scholar
  21. 21.
    T. Walter, B. Plattner. An Operational Semantics for Concurrent TTCN. Proceedings Protocol Test Systems V, North-Holland, 1992.Google Scholar
  22. 22.
    T. Walter, J. Grabowski.Towaxrds the new Test Specification and Implementation Language ’TelCom TSL’.5.tes GI/ITG Fachgespräch ’Formale Beschreibungstechniken für verteilte Systeme’, Kaiserslautem, June, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Thomas Walter
    • 1
  • Jens Grabowski
    • 2
  1. 1.Institut für Technische Informatik (TIK)Eidgenössische Technische Hochschule ZürichZurichSchweiz
  2. 2.Institut für TelematikMedizinische Universitat zu LübeckLübeckDeutschland

Personalised recommendations