Software Engineering Institute Carnegie Mellon

Performance-Critical Systems
Introduction
Cooperation
Conferences
PCS Staff
Integration of Software-Intensive Systems
COTS-Based Systems
Dynamic Systems Program

Model-Based Engineering Research: Fault Containment

Our objectives in this project are to

  • develop a system fault containment and stability management framework
  • identify categories of potentially unmanaged faults and their root causes
  • develop an analytical approach for fault propagation that can lead to system failures
  • develop effective system-level fault containment strategies
  • specify and validate architecture patterns conducive to robustness and stability in systems

The researchers involved in this project are

Why do system-level failures still occur
despite fault tolerance techniques being
deployed in systems?

   

From a development perspective, the tight integration of a large number of components creates many potential failure modes caused by interactions that cannot be discovered by unit testing. In this project,
our focus is on identifying system-wide design rules that must be satisfied in order to limit propagation of seemingly minor faults throughout the system.

Our approach is to build architectural models using AADL to identify system fault behaviors that are not addressed by component-fault containment techniques, to develop a formalized analysis framework for system fault containment and stability management, and to validate system architectures in the context of this framework.

Our model-based analytic framework for this investigation is

  1. Root cause analysis of system-level faults
  2. Analytic exploration of unmanaged faults
  3. Fault-impact analysis and system-level fault containment strategies

See also our other research projects

For More Information

Customer Engagements
Terry Dailey
Phone: 703-908-8213
E-mail: etd@sei.cmu.edu

Technical Questions
Jörgen Hansson
Phone: 412-268-6733
E-mail: hansson@sei.cmu.edu

Peter Feiler
Phone: 412-268-7790
E-mail: phf@sei.cmu.edu

 

return to PCS Model-based Real-time System Design and Analysis    |    PCS main page