A Temporal Abductive Diagnostic Process for Runtime Properties Violations

3rd International Workshop on Explanation-aware Computing

Theocharis Tsigkritis ; George Spanoudakis

Others  :  http://CEUR-WS.org/Vol-391/00010049.pdf
PID  :  25813

来源: CEUR

【 摘 要 】

Monitoring the operation of complex software 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.