Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #395   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Diagnosing Unobserved Components in Self-Adaptive Systems

Paulo Casanova, David Garlan, Bradley Schmerl and Rui Abreu.


In 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Hyderabad, India, 2-3 June 2014.

Online links: PDF

Abstract
Availability is an increasingly important quality for today's software-based systems and it has been successfully addressed by the use of closed-loop control systems in self-adaptive systems. Probes are inserted into a running system to obtain information and the information is fed to a controller that, through provided interfaces, acts on the system to alter its behavior. When a failure is detected, pinpointing the source of the failure is a critical step for a repair action. However, information obtained from a running system is commonly incomplete due to probing costs or unavailability of probes. In this paper we address the problem of fault localization in the presence of incomplete system monitoring. We may not be able to directly observe a component but we may be able to infer its health state. We provide formal criteria to determine when health states of unobservable components can be inferred and establish formal theoretical bounds for accuracy when using any spectrum-based fault localization algorithm.

Keywords: Diagnosis, Self-adaptation.  
@InProceedings{2013/Casanova/Unobserved,
      AUTHOR = {Casanova, Paulo and Garlan, David and Schmerl, Bradley and Abreu, Rui},
      TITLE = {Diagnosing Unobserved Components in Self-Adaptive Systems},
      YEAR = {2014},
      MONTH = {2-3 June},
      BOOKTITLE = {9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems},
      ADDRESS = {Hyderabad, India},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/unobserved2013_Casanova_Unobserved.pdf},
      ABSTRACT = {Availability is an increasingly important quality for today's software-based systems and it has been successfully addressed by the use of closed-loop control systems in self-adaptive systems. Probes are inserted into a running system to obtain information and the information is fed to a controller that, through provided interfaces, acts on the system to alter its behavior. When a failure is detected, pinpointing the source of the failure is a critical step for a repair action. However, information obtained from a running system is commonly incomplete due to probing costs or unavailability of probes. In this paper we address the problem of fault localization in the presence of incomplete system monitoring. We may not be able to directly observe a component but we may be able to infer its health state. We provide formal criteria to determine when health states of unobservable components can be inferred and establish formal theoretical bounds for accuracy when using any spectrum-based fault localization algorithm.},
      KEYWORDS = {Diagnosis, Self-adaptation}
}
    Created: 2013-11-04 08:35:15     Modified: 2014-06-13 16:14:00
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin