An Automated Computer Communication Network Protocol Verification System.

Abstract

An automated tool for computer network communication protocol validation was developed and implemented. The method utilyzes the Program Modeling Language (PPML) to specify the protocol and an automated procedure to convert the PPML description into an equivalent Evaluation Net in order to evaluate the protocol. Simulation techniques are used to exercise the Evaluation Net presenting data on message transmission times and global state generation. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1983
Accession Number
ADA138160

Entities

People

  • K. R. Martin Jr

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • C4I
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Artificial Intelligence
  • Classification
  • Communication Networks
  • Communication Systems
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computer Programs
  • Computers
  • Language
  • Network Protocols
  • Operating Systems
  • Programming Languages
  • Robotics
  • Simulations
  • Software Development

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Computer Networking
  • Neural Network Machine Learning.