Carnegie Mellon University
pcasanova_phd_s3D_2023_.pdf (957.79 kB)

Failure Detection and Diagnosis in Architecture-based Autonomic Systems

Download (957.79 kB)
posted on 2023-05-17, 18:22 authored by Paulo CasanovaPaulo Casanova

As the size and complexity of modern IT systems increases, there is greater need for automatic recovery from failures. Recently, self-adaptive control loops have started to replace human oversight as means to ensure high availability of software systems. Two critical pieces of the self-adaptive loop for high availability are failure identification and fault localization. Failure identification – figuring out that something is not working – is a challenging activity as (1) the monitoring is not done at the same abstraction level as the failures manifest themselves, and (2) because systems perform several activities concurrently, incorrect behavior will appear mixed with correct behavior. Identifying faults, pinpointing the source of the failure, is also challenging as (1) there may be multiple explanations for a fault and (2) diagnosis must be performed in a useful time frame. In this thesis, we propose to improve selfdiagnosis through a framework that allows a system to identify failures and pinpoint the corresponding faulty parts in a running system. This framework is based on two key principles: reasoning about the system’s behavior at the software architecture level and providing a declarative approach to describe system behavior. The use of architectural models allows the diagnostic infrastructure to scale gracefully, supports efficient run-time execution of common fault localization algorithms, and supports failure diagnosis of system-level properties such as end-to-end performance. The use of a declarative approach to behavior allows one to systematically specify rules for bridging the gap between low-level monitoring and higher-level problem detection. It also supports reuse across systems that share a common architectural style or implementation infrastructure. 




Degree Type

  • Dissertation


  • Software and Societal Systems (S3D)

Degree Name

  • Doctor of Philosophy (PhD)


David Garlan and Mario Zenha-Rela

Usage metrics


    Ref. manager