Using the Vienna Development Method (VDM) to Formalize a Communication Protocol

Abstract

The purpose of this document is to serve as an introduction to certain specification techniques and the specification computer language (Meta- IV) of the Vienna Development Method (VDM) and to further extend the use of VDM by applying it within a new domain. VDM has been applied to the specification of a communication protocol. The protocol is one used for the communication between an inertial navigation system (INS) and an external computer (EC). This protocol was chosen because it is a new application area for VDM, and it is an integral part of an existing project at the SEI. The Real-Time Embedded Systems Testbed (REST) Project is implementing the protocol as part of an INS simulator system that is being developed to investigate the use of Ada for embedded systems. Keywords: Inertial navigation, Algorithms, Software.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1988
Accession Number
ADA204757

Entities

People

  • Jan S. Pedersen
  • Mark H. Klein

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Ground and Sea Platforms
  • Materials and Manufacturing Processes
  • Sensors

DTIC Thesaurus Topics

  • Abstracts
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Embedded Systems
  • Formal Languages
  • Grammars
  • High Level Languages
  • Inertial Navigation
  • Inertial Navigation Systems
  • Information Exchange
  • Language
  • Navigation
  • Programming Languages
  • Simulators
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Positioning, Navigation, and Timing (PNT) Technology.
  • Software Engineering.