Abstract
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.
This research has been funded in part by the Austrian Science Fund (FWF) under grant P17963-N04. Authors are listed in alphabetical order.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control software of autonomous mobile robots. In: Proceedings of the 19th International Joint Conference on AI (IJCAI 2005), Edinburgh, UK, pp. 1742–1743 (2005)
Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence 111, 3–39 (1999)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32, 57–95 (1987)
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32, 97–130 (1987)
Brusoni, V., Console, L., Terenziani, P., Dupré, D.T.: A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence 102, 39–79 (1998)
Minoux, M.: LTUR: A Simplified Linear-time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. Information Processing Letters 29, 1–12 (1988)
Grosclaude, I.: Model-based monitoring of software components. In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, pp. 1025–1026. IOS Press, Amsterdam (2004)
Ardissono, L., Console, L., Goy, A., Petrone, G., Picardi, C., Segnan, M., Dupré, D.T.: Cooperative Model-Based Diagnosis of Web Services. In: Proceedings of the 16th International Workshop on Principles of Diagnosis. DX Workshop Series, pp. 125–132 (2005)
Mikaelian, T., Williams, B.C.: Diagnosing complex systems with software-extended behavior using constraint optimization. In: Proceedings of the 16th International Workshop on Principles of Diagnosis. DX Workshop Series, pp. 125–132 (2005)
Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: WOSS 2002: Proceedings of the first workshop on Self-healing systems, pp. 27–32. ACM Press, New York (2002)
Luckham, D., et al.: Specification and analysis of system architecture using RAPIDE. IEEE Transactions on Software Engineering 21, 336–355 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weber, J., Wotawa, F. (2006). Using AI Techniques for Fault Localization in Component-Oriented Software Systems. In: Gelbukh, A., Reyes-Garcia, C.A. (eds) MICAI 2006: Advances in Artificial Intelligence. MICAI 2006. Lecture Notes in Computer Science(), vol 4293. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11925231_109
Download citation
DOI: https://doi.org/10.1007/11925231_109
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49026-5
Online ISBN: 978-3-540-49058-6
eBook Packages: Computer ScienceComputer Science (R0)