RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
  • @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}