Estelle Specification of MIL-STD 188-220 Datalink Layer Interoperability Standard for Digital Message Transfer Device Subsystems

Abstract

This paper presents the results of a contract between ARL and the University of Delaware to develop a formal specification of the link layer of 188-220 using the ISO International Standard Formal Description Technique Estelle. This formal specification aims at discovering and resolving ambiguities in the original English document that would cause interpretation problems for implementors. The specification considers Type 1 connectionless (CL) operation of the link layer. It contains the complete set of command and response PDUs for the CL mode (UI, XID, URR, URNR, TEST). The paper discusses state diagrams and state transition tables needed for the Estelle specification. It also summarizes several ambiguities that were discovered in developing the Estelle specification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1995
Accession Number
ADA496837

Entities

People

  • Hao Li
  • Paul D. Amer
  • Samuel C. Chamberlain

Organizations

  • University of Delaware

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Ambiguity
  • Computer Access Control
  • Computer Communications
  • Contracts
  • Delaware
  • English Language
  • Information Exchange
  • Information Science
  • Interoperability
  • Language
  • Multiple Access
  • Natural Languages
  • Specifications
  • Standards
  • Transitions
  • Transport Protocols
  • Universities

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Networking
  • Software Engineering