City Research Online

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.


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:
[thumbnail of exact08.pdf]
Text - Accepted Version
Download (142kB) | Preview


Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email


Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login