Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
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   Bibtex entry   Plain Text

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: Tue June 20 2017 16:43:41