Formal Methods to Support the Design of Distributed Systems

Abstract

This work contributes to a formal framework to support the development of distributed systems: a specification serves to document a system; it can be executed to simulate the system; and it can be subjected, either directly or after some modular extension or transformation, to various kinds of formal analyses. Two on-the-fly techniques to reduce the state space were developed: one a symmetry reduction; the other a partial-order reduction. These are implemented as simple transformations of the specification of the system. A third transformational technique allows the verification of nontrivial properties not readily expressible in linear temporal logic.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2008
Accession Number
ADA483181

Entities

People

  • Dilia E. Rodriguez

Organizations

  • Air Force Research Laboratory

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Consistency
  • Debugging
  • Equations
  • Government Procurement
  • Governments
  • Information Exchange
  • Military Research
  • Models
  • Permutations
  • Space Exploration
  • Specifications
  • Standards
  • Symmetry
  • Verification

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Artificial Intelligence
  • Software Engineering

Technology Areas

  • Space