@techreport{RISC5193,author = {Wolfgang Schreiner and Temur Kutsia and Davic Cerna and Michael Krieger and Bashar Ahmad and Helmut Otto and Martin Rummerstorfer and Thomas Gössl},
title = {{The LogicGuard Stream Monitor Specification Language Tutorial and Reference Manual}},
language = {english},
abstract = {This report describes the design and use of the LogicGuard language for specifying
stream monitors. These monitors observe streams of values (e.g., messages flowing through
a network connection) and check whether the streams fulfill desired safety properties. These
properties are described on a very high level of abstraction in a purely declarative way by notions
that are derived from classical predicate logic, in particular by logic formulas that are
quantified over stream positions. To raise the level of abstraction, auxiliary internal streams
can be specified whose values are constructed from the values on the external streams by
notions that are thar are similar to classical set builders. From the abstract specifications
automatically executable monitors are generated which surveil the streams in real time and
trigger warnings if violations of the specified properties are observed.},
year = {2015},
month = {October},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
keywords = {formal methods, runtime verification, event processing},
sponsor = {Supported by the Austrian Research Promotion Agency (FFG) in the frame of the BRIDGE program by the projects 832207 "LogicGuard" and 846003 "LogicGuard II".},
length = {54},
type = {Technical Report}
}