A Tool for Automated Validation of Network Protocols
Master's thesis May 1989-Aug 1992
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
This thesis introduces a program that analyzes network protocols using the Communicating Finite State Machines CFSM model and the System of Communicating Machines SCM model. A simple two machine implementation of CFSM model is initially explored. A number of simple protocols are demonstrated as a means to validate the automated tool program. The second model implemented is that of SCM model. The SCM tool uses many of the same data structures designed in the CFSM program. The SCM program is validated with an analysis of widely used data link protocols. Both programs were done in the Ada language environment. Communicating Finite State Machines, System of Communicating Machines, Data Link Protocols, ADA, Go-Back-N, Selective Repeat.
- Computer Systems