A Temporal Abductive Diagnostic Process for Runtime Properties Violations

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

[img]
Preview
Text - Accepted Version
Download (142kB) | Preview

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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Abductive reasoning, runtime monitoring, temporal reasoning, Dempster Shafer theory of evidence, Event Calculus.
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: School of Informatics
Related URLs:
URI: http://openaccess.city.ac.uk/id/eprint/13319

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics