Formal Design of Communication Protocols Based on The Estelle ISO Formal Description Technique

Abstract

The formal description technique (FDT) Estelle (ISO 9074) was used for the advanced design and development of communication protocols. In particular, two protocols were studied: (1) Partial Order Connection POC (RFC1693), and (2) MIL-STD 188-220: Interoperability Standard for Digital Message Transfer Device Subsystems. POC has been used as the basis of two systems: REMDOR for Remote Multimedia Document Retrieval, and NETCICATS for Network Conscious Image Compression and Transmission. The Estelle specifications of MIL-STD 188-220 were approved as an official component of the MIL-STD in January 1998.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1999
Accession Number
ADA370116

Entities

People

  • Paul D. Amer

Organizations

  • University of Delaware

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Compression
  • Computer Communications
  • Computer Networks
  • Data Links
  • Engineering
  • Image Compression
  • Interoperability
  • Military Research
  • Multimedia
  • Networks
  • Packet Loss
  • Specifications
  • Standards
  • Students
  • Transport Protocols

Readers

  • Artificial Intelligence
  • Computer Networking
  • Software Engineering