Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors

13 pages•Published: March 27, 2016

David Cerna, Wolfgang Schreiner and Temur Kutsia

Abstract

We analyze the space complexity of monitoring streams of messages whose expected behavior is specified in a fragment of predicate logic; this fragment is the core of the LogicGuard specification language that has been developed in industrial context for the runtime monitoring of network traffic. The execution of the monitors is defined by an operational semantics for the step-wise evaluation of formulas, of which require the preservation of instances of the formulas in memory until their truth value can be determined. In the presented work, we analyze the number of instances that have to be preserved over time for a significant fragment of the core language that involves only “future looking quantifiers” which lays the foundations for the space analysis of the entire core language.

Keyphrases: network monitors, predicate logic, space complexity

In: James H. Davenport and Fadoua Ghourabi (editors). SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, vol 39, pages 29-41.

Links:	https://easychair.org/publications/paper/Jrc
	https://doi.org/10.29007/jnj2

BibTeX entry

@inproceedings{SCSS2016:Space_Analysis_Predicate_Logic,
  author    = {David Cerna and Wolfgang Schreiner and Temur Kutsia},
  title     = {Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Jrc},
  doi       = {10.29007/jnj2},
  pages     = {29-41},
  year      = {2016}}

Download PDF Open PDF in browser