Title :
Specification-driven monitoring of TCP/IP
Author :
Hofmann, Richard ; Lemmen, Frank
Author_Institution :
Lehrstuhl Inf. 7, Erlangen-Nurnberg Univ., Germany
fDate :
6/22/1905 12:00:00 AM
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
Keywords :
formal specification; system monitoring; transport protocols; SDL; TCP/IP protocol stack; correctness; error correction; functional behavior; performance; runtime system; specification-driven monitoring; system throughput; systematic analysis; temporal behavior; Communication industry; Design methodology; Internet; Mobile communication; Monitoring; Performance analysis; Protocols; Specification languages; TCPIP; Technological innovation;
Conference_Titel :
Parallel and Distributed Processing, 2000. Proceedings. 8th Euromicro Workshop on
Conference_Location :
Rhodos
Print_ISBN :
0-7695-0500-7
DOI :
10.1109/EMPDP.2000.823387
