A Temporal Abductive Diagnostic Process for Runtime Properties Violations
Tsigkritis, T. & Spanoudakis, G. (2008). A Temporal Abductive Diagnostic Process for Runtime Properties Violations. In: Roth-Berghofer, T, Schulz, S, Leake, DB & Bahls, D (Eds.), ExaCt. Third International Workshop on Explanation-aware Computing (ExaCt 2008), July 21-22, 2008, University of Patras, Patras, Greece.
Abstract
Monitoring the operation of complex softare systems at runtime can detect violations of certain properties of interest but cannot always provide diagnostic information which is significant for understanding the cause of the violation and the adoption of appropriate countermeasures against it. In this paper, we describe a process for diagnosing runtime violations of security and dependability properties that we have developed as part of a general runtime monitoring framework that is based on Event Calculus. The diagnosis generation process is based on a combination of abductive, temporal and evidential reasoning over violations of system properties.
| Publication Type: | Conference or Workshop Item (Paper) |
|---|---|
| Publisher Keywords: | Abductive reasoning, runtime monitoring, temporal reasoning, Dempster Shafer theory of evidence, Event Calculus. |
| Subjects: | Q Science > QA Mathematics > QA76 Computer software |
| Departments: | School of Science & Technology > Computer Science |
| Related URLs: |
Download (142kB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
MetadataActions (login required)
Admin Login