Elsevier

Computer Communications

Volume 19, Issue 14, December 1996, Pages 1226-1235
Computer Communications

Improving the efficiency of automated protocol implementation using Estelle

https://doi.org/10.1016/S0140-3664(96)01156-5Get rights and content

Abstract

Correctness and runtime efficiency are essential properties of software in general and of high-speed protocols in particular. Establishing correctness requires the use of FDTs during protocol design, and to prove the protocol code correct with respect to its formal specification. Another approach to boost confidence in the correctness of the implementation is to generate protocol code automatically from the specification. However, the runtime efficiency of this code is often insufficient. This has turned out to be a major obstacle to the use of FDTs in practice. One of the FDTs currently applied to communication protocols is Estelle. We show how runtime efficiency can be significantly improved by several measures carried out during the design, implementation and runtime of a protocol. Recent results of improvements in the efficiency of Estelle-based protocol implementations are extended and interpreted.

References (34)

  • D.D. Clark et al.

    Architectural Considerations for a New Generation of Protocols

  • P. Dembinski et al.

    Specification language Estelle

  • Information Processing Systems-Open Systems Interconnection-Estelle: A Formal Description Technique Based on an Extended State Transition Model

    ISO/TC 97/SC 21, ISO 9074

    (1989)
  • R.L. Tenney

    Adding interaction sets to Estelle

  • S.C. Chamberlain et al.

    Broadcast channels in Estelle

    IEEE Trans. Comput.

    (April 1991)
  • C.A. Vissers et al.

    Architecture and specification style in formal descriptions of distributed systems

  • B. Hofmann

    Integration von Darstellungs- und Kommunikations-steuerungsschicht in Estelle

  • Cited by (4)

    • Improving the efficiency of automated protocol implementations using a configurable FDT compiler

      2000, Computer Communications
      Citation Excerpt :

      The correctness of transformation can be validated easily. The experience, however, has shown that such implementations usually do not fulfil the requirements of real-life protocol implementations [8,13–15,29]. For that reason, they are mainly used for prototyping rather than for the development of final products.

    • Protocol engineering

      2012, Protocol Engineering
    • Development of complex communications protocols using Estelle

      2000, Annales des Telecommunications/Annals of Telecommunications
    View full text