Title :
Modelling and analysis of DOD TCP/IP protocol using numerical Petri nets
Author :
Mehrpour, H. ; Karbowiak, A.E.
Author_Institution :
New South Wales Univ., Kensington, NSW, Australia
Abstract :
The standards for computer communications protocols developed by the Department of Defense (DOD) require formal specification and verification before they can be effectively used. The authors describe an attempt to formally specify the transmission control protocol (TCP) and the internet protocol (IP). A numerical Petri net (NPN) is used for the formal description of the protocols. A top-down modular approach is adopted to enhance the readability of the NPNs. The total specification may then by obtained by combining the modules into a three-dimensional structure. The protocol is formally specified for one connection. Computer simulation results using the software package PROTEAN (protocol emulation and analysis) are presented
Keywords :
Petri nets; computer communications software; computer networks; formal specification; program verification; protocols; DOD; Department of Defense; PROTEAN; TCP/IP protocol; computer communications; formal specification; internet protocol; numerical Petri nets; protocol emulation and analysis; software package; top-down modular approach; transmission control protocol; verification; Communication standards; Communication system control; Computer simulation; Formal specifications; Internet; Protocols; Software packages; Standards development; TCPIP; US Department of Defense;
Conference_Titel :
Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on
Print_ISBN :
0-87942-556-3
DOI :
10.1109/TENCON.1990.152684
