A tool for automated validation of network protocols.
Rothlisberger, Matthew James
MetadataShow full item record
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 the 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.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Agrawal, B.N. (2005);This paper presents a review of the spacecraft design program at the Naval Postgraduate School. This program is part of the space systems engineering curriculum. In this curriculum, the students take at least one course ...
Klee, Charles W., Jr. (Boston, Massachusetts; Boston University, 1968-06);Over the past several years the United States Atlantic Fleet Anphib1ous Force has been faced with increasing losses of qualified enlisted men. In 1965 the Atlantic Fleet Amphibious Force had more men leaving the Navy than ...
Shick, BethAnn. (Monterey, California. Naval Postgraduate School, 2007-12);The Joint Strike Fighter (JSF) program is the largest Department of Defense (DoD) military aircraft acquisition program to date. The JSF will serve the Air Force, Navy and Marine Corps, as well as many of our key ...