A Tool for Automated Validation of Network Protocols

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 24, 1992
Accession Number
ADA256726

Entities

People

  • Matthew J. Rothlisberger

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Business Administration
  • Classification
  • Communication Channels
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Data Links
  • Language
  • Network Protocols
  • Network Science
  • Operating Systems
  • Plastic Explosives
  • Robotics
  • Three Dimensional
  • United States

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Computer Networking
  • Educational Psychology