Formal Verification of Architectural Patterns in Support of Dependable Distributed Systems

Abstract

Building robust, secure distributed systems in the presence of transient faults, node failures, and changes in network topology poses a multitude of challenges. Most systems being built today are the integration of highly disparate hardware and software components that interact via a hardware bus or middleware infrastructure. During the design of a component, non-functional requirements such as fault-tolerance may complicate the design and are better addressed during hardware/software integration by altering the run-time behavior of components. Architectural patterns, analogous to design patterns, are a means to develop such mechanisms rapidly by reusing existing solutions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 2005
Accession Number
ADA527925

Entities

People

  • Ralph Jeffords
  • Ramesh Bharadwaj

Organizations

  • United States Naval Research Laboratory

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computers
  • Computing-Related Activities
  • Encapsulation
  • Fault Tolerance
  • Guarantees
  • Information Operations
  • Infrastructure
  • Language
  • Military Research
  • Software Agents
  • Software Design
  • Specifications
  • Ubiquitous Computing
  • Verification
  • Virtual Machines

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Systems Analysis and Design