BibTeX
@MISC{Fischer93implementationof,
author = {Stefan Fischer},
title = {Implementation of Estelle Specifications on the KSR1-32},
year = {1993}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Existing communication protocol suites such as the ISO/OSI [7] or the INTERNET protocols [2] were designed with relatively slow networks in mind. The end systems were fast enough to process complex protocols because the data transmission time was long compared to the time needed for protocol execution. Given the fast transmission media based on fiber optics that are now available, current end systems are too slow for high performance communication. Communication software has become the major bottleneck in high speed networks [10, 1]. Efficient implementation of the protocol stack is of crucial importance for the networking future. For specification purposes, formal description techniques are now widely used. They improve the correctness of specications by avoiding ambiguities and by enabling formal verification. In addition, they allow semiautomatic code generation. This technique has several advantages: The code can be maintained more easily since the system is spec
Keyphrases
estelle specification communication protocol suite efficient implementation protocol stack high performance communication crucial importance formal description technique iso osi current end system end system semiautomatic code generation networking future formal verification internet protocol specification purpose fast transmission medium several advantage communication software major bottleneck data transmission time high speed network complex protocol slow network protocol execution fiber optic
