A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Information Processing Letters
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
A spectrum of definitions for temporal model-based diagnosis
Artificial Intelligence
Model-based diagnosis of hardware designs
Artificial Intelligence
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Detecting and locating faults in the control software of autonomous mobile robots
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Diagnosing dependent failures in the hardware and software of mobile autonomous robots
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
| Hi-index | 0.00 |
In this paper we introduce a technique for runtime fault detection and localization in component-oriented software systems. Our approach allows for the definition of arbitrary properties at the component level. By monitoring the software system at runtime we can detect violations of these properties and, most notably, also locate possible causes for specific property violation(s). Relying on the model-based diagnosis paradigm, our fault localization technique is able to deal with intermittent fault symptoms and it allows for measurement selection. Finally, we discuss results obtained from our most recent case studies.