Applications of the Theory of Distributed and Real Time Systems to the Development of Large- Scale Timing Based Systems

Abstract

We continued our project on the IOA language and toolset, which are designed to support our formal approach to distributed system design and analysis. The design of the IOA language is substantially complete, and appears in a language manual on the web. This quarter, work continued on the development of tools for the IOA language; our toolset will include a parser and static semantic checker, composition routine, support for levels of abstraction interfaces with theorem provers and model checkers, a simulator, and a code generator for real distributed code.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1997
Accession Number
ADA336406

Entities

People

  • Nancy Lynch

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Air Platforms
  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Automata
  • California
  • Computations
  • Computer Science
  • Computers
  • Electrical Engineering
  • Engineering
  • Fault Tolerance
  • Hybrid Systems
  • Language
  • Simulations
  • Simulators
  • Students
  • Vehicles
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.
  • Software Engineering