We introduce a formal notation for the processing of event traces called Stream Logic (SL). A monitor evaluates a Boolean condition over an input trace, while a filter outputs events from an input trace depending on some monitor’s verdict; both constructs can be freely composed. We show how all operators of Linear Temporal Logic, as well as the parametric slicing of an input trace, can be written as Stream Logic constructs.
CITATION STYLE
Hallé, S., & Khoury, R. (2016). Runtime monitoring of stream logic formulae. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9482, pp. 251–258). Springer Verlag. https://doi.org/10.1007/978-3-319-30303-1_15
Mendeley helps you to discover research relevant for your work.