Consistency in Dynamic Reconfiguration

Abstract

This paper examines issues relating to the impact of change in real-time control applications. In particular Simplex-based systems are being considered, a technology that supports dependable upgrade of systems in a fault tolerant manner through the concept of analytic redundancy [4]. Such systems provide flexibility to realtime systems for dynamic reconfiguration and dependable incremental and online upgrade. The paper focuses on offline analysis to determine inconsistencies in configurations and identify reconfiguration paths to recover to consistent configurations. The results are used by runtime configuration management to avoid such configurations. Identification of inconsistent configurations is improved through modeling of application semantics in the control domain and utilizing them in the analysis. The same analysis supports design time analysis of potential impact of changes.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1998
Accession Number
ADA639985

Entities

People

  • Jun Li
  • Peter Feiler

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Computer Programs
  • Configuration Management
  • Connectors
  • Consistency
  • Control Systems
  • Coordinate Systems
  • Engineering
  • Fault Tolerance
  • Identification
  • Language
  • Models
  • Redundant Components
  • Resilience
  • Semantics
  • Side Effects
  • Software Development
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Robotics and Automation.
  • Systems Analysis and Design