A Framework for Modeling and Analyzing Complex Distributed Systems

Abstract

Report developed under STTR contract for topic AF04-T023. This Phase I project developed a modeling language and laid a foundation for computational support tools for specifying, analyzing, and verifying complex distributed system designs. Ultimately, the overall modeling and analysis framework will provide an integrated suite of tools and methods leading to qualitative improvements in the design of dependable distributed systems. In more detail, this project developed: (a) a formal modeling language, called TIOA (Timed Input/Output Automata), for specifying timed, asynchronous, and interacting systems components, (b) the front-end processor for TIOA, incorporating syntax and type checking, and providing interfaces to computer-aided design tools, (c) a simulation tool allowing simulation of specifications and paired simulations of a specification and an abstract implementation, and (d) a theorem-proving link through an interface to PVS. This project provides the basis for refining the language and extending and integrating the associated tool set in Phase II.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 15, 2005
Accession Number
ADA437946

Entities

People

  • Alexander A. Shvartsman
  • Nancy Lynch

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Automata
  • Computer Programming
  • Computer Science
  • Computer-Aided Design
  • Computers
  • Contracts
  • Differential Equations
  • Front End Processors
  • Graphical User Interface
  • Language
  • Machines
  • Simulations
  • Simulators
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering
  • Systems Analysis and Design