The ENTRAPID protocol development environment
- 1 January 1999
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 3, 1107-1115 vol.3
- https://doi.org/10.1109/infcom.1999.751666
Abstract
As Internet services rapidly become an essential part of the global infrastructure, it is necessary for the protocols underlying these services to be robust and fail-safe. To achieve this goal, protocol developers should be able to design, implement, simulate, visualize, and validate their work in a protocol development environment before deployment in the field. We describe the ENTRAPID protocol development environment, outline its implementation, and present a performance evaluation.Keywords
This publication has 11 references indexed in Scilit:
- Validating requirements for fault tolerant systems using model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A simple methodology for constructing extensible and high-fidelity TCP/IP network simulatorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- High-speed policy-based packet forwarding using efficient multi-dimensional range matchingACM SIGCOMM Computer Communication Review, 1998
- Fast and scalable layer four switchingPublished by Association for Computing Machinery (ACM) ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- U-NetACM SIGOPS Operating Systems Review, 1995
- Improving reliable transport and handoff performance in cellular wireless networksWireless Networks, 1995
- Experiences implementing a high performance TCP in user-spacePublished by Association for Computing Machinery (ACM) ,1995
- Evaluation of TCP VegasACM SIGCOMM Computer Communication Review, 1995
- Implementing network protocols at user levelPublished by Association for Computing Machinery (ACM) ,1993