Semiautomatic Implementation of Communication Protocols
IEEE Transactions on Software Engineering
Semi-automatic implementation of OSI protocols
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Architectural considerations for a new generation of protocols
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
IEEE Transactions on Computers - Special issue on protocol engineering
XTP: the Xpress Transfer Protocol
XTP: the Xpress Transfer Protocol
Estelle development toolset (EDT)
Computer Networks and ISDN Systems
Locking effects in multiprocessor implementations of protocols
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
On tools supporting the use of formal description techniques in protocol development
Computer Networks and ISDN Systems - Special issue on tools for FDTs
The PET and DINGO tools for deriving distributed implementations from Estelle
Computer Networks and ISDN Systems - Special issue on tools for FDTs
Increasing the efficiency of computer-aided protocol implementations
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
The VHDL Handbook
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler
IEEE Transactions on Software Engineering
Hardware specification generated from Estelle
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
On the suitability of Estelle for multimedia systems
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
PARES - a portable parallel Estelle compiler
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
An Estelle Compiler for Multiprocessor Platforms
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Increasing the Concurrency in Estelle
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
A New Approach for Distributing Estelle Specifications
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Adding Interaction Sets to Estelle
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
The KSR1: High Performance and Ease of Programming, No Longer an Oxymoron
Supercomputer '93 Anwendungen, Architekturen, Trends, Seminar
Parallel Transport System Design
Proceedings of the IFIP TC6/WG6.4 Fourth International Conference on High Performance Networking IV
Efficient configuration of protocol software for multiprocessors
Proceedings of the IFIP Sixth International Conference on High Performance Networking VI
IEEE Journal on Selected Areas in Communications
A model for flexible high-performance communication subsystems
IEEE Journal on Selected Areas in Communications
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Improving the efficiency of automated protocol implementations using a configurable FDT compiler
Computer Communications
Hi-index | 0.24 |
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.