City Research Online

A Temporal Abductive Diagnostic Process for Runtime Properties Violations

Tsigkritis, T. and Spanoudakis, G. (2008). A Temporal Abductive Diagnostic Process for Runtime Properties Violations. ExaCt, 391, ISSN CEUR Workshop Proceedings


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 Mathematics, Computer Science & Engineering > Computer Science
Related URLs:
Date Deposited: 04 Feb 2016 13:58
Text - Accepted Version
Download (142kB) | Preview



Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login