Anzeige
Erschienen in:
2014 | OriginalPaper | Buchkapitel
Multiple Ways to Fail: Generalizing a Monitor’s Verdict for the Classification of Execution Traces
verfasst von : Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
Erschienen in: Runtime Verification
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper introduces a new approach at classifying event traces, generalizing a monitor’s classical two- or three-valued outcome. Given the specification of a system’s behaviour expressed as a Linear Temporal Logic formula, we produce from the evaluation of the formula on a given trace a data structure called a trace hologram. When interpreted as equivalence classes, we show how manipulations on these holograms cluster event traces into various natural categories, depending on the precise way in which each group of traces violate the specification.