Specification-driven monitoring of TCP/IP

Authors:
Richard Hofmann;Frank Lemmen
Affiliations:
Lehrstuhl Informatik 7, University of Erlangen-Nürnberg, Erlangen;FLI3, Lucent Technologies, Bell Labs Innovations, Nürnberg
Venue:
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Year:
2000

Citing 0
Cited 3

Hardware/Software Codesign and Rapid Prototyping of Embedded Systems

IEEE Design & Test
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service

FM '08 Proceedings of the 15th international symposium on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Specification-driven monitoring is a novel technique for systematically analyzing the functional and temporal behavior of a system starting from specification to the implementation with the help of monitoring. This paper briefly shows the method and the tools belonging to it. The main part comprises a measurement study of a TCP/IP protocol stack fully specified in SDL. This study shows, how the TCP protocol stack was analyzed and improved in terms of correctness and performance. After correcting a difficult error in the runtime system, the throughput of the system improved by a factor of 10.