Improving the efficiency of automated protocol implementation using Estelle
References (34)
- et al.
The PET and DINGO tools for deriving distributed implementations from Estelle
Computer Networks & ISDN Systems
(February 1993) - et al.
On tools supporting the use of formal description techniques in protocol development
Computer Networks & ISDN Systems
(1993) - et al.
Semi-automatic implementation of OSI protocols
Computer Networks ISDN Systems
(1990) - et al.
A survey of light-weight transport protocols for high-speed networks
IEEE Trans. on Comm.
(November 1990) - et al.
XTP The Xpress Transfer Protocol
(1992) - et al.
A model for flexible high-performance communication subsystems
IEEE J. Selected Areas in Comm.
(May 1993) - et al.
A Model for Dynamic Configuration of Light-Weight Protocols
High-Speed Protocol Implementations Based on a Multiprocessor-Architecture
- et al.
Parallel Transport System Design
- et al.
Locking effects in multiprocessor implementations of protocols
Architectural Considerations for a New Generation of Protocols
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)
Adding interaction sets to Estelle
Broadcast channels in Estelle
IEEE Trans. Comput.
(April 1991)
Architecture and specification style in formal descriptions of distributed systems
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 CommunicationsCitation 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 EngineeringDevelopment of complex communications protocols using Estelle
2000, Annales des Telecommunications/Annals of TelecommunicationsSoftware synthesis for system level design using process execution trees
1999, Conference Proceedings of the EUROMICRO
Copyright © 1996 Published by Elsevier B.V.