The simulation of communication protocols
Abstract
Simulators for communication protocols specified in the ESTELLE and LC/1 languages are developed. The general principles of protocol simulation are reviewed; ESTELLE and LC/1 are characterized; a prototype LC/1 simulator based on predicate Petri nets is described; and a detailed specification for a driving interface for an ESTELLE simulator is given.
- Publication:
-
Ph.D. Thesis
- Pub Date:
- December 1985
- Bibcode:
- 1985PhDT........17D
- Keywords:
-
- Communication Networks;
- Computer Systems Simulation;
- Programming Languages;
- Protocol (Computers);
- Architecture (Computers);
- Certification;
- Interfaces;
- Petri Nets;
- Prototypes;
- Specifications;
- Syntax;
- Communications and Radar