Conference paper Open Access

Striver: Stream Runtime Verification for Real-Time Event-Streams

Felipe Gorostiaga; César Sánchez

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="">
  <controlfield tag="005">20200120134237.0</controlfield>
  <controlfield tag="001">3385673</controlfield>
  <datafield tag="711" ind1=" " ind2=" ">
    <subfield code="g">RV2018</subfield>
    <subfield code="a">International Conference on Runtime Verification</subfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">IMDEA Software Institute</subfield>
    <subfield code="0">(orcid)0000-0003-3927-4773</subfield>
    <subfield code="a">César Sánchez</subfield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">655830</subfield>
    <subfield code="z">md5:416f13c8fb8d3015fa54db8b30c0ca52</subfield>
    <subfield code="u"></subfield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="y">Conference website</subfield>
    <subfield code="u"></subfield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2018-11-10</subfield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire</subfield>
    <subfield code="p">user-elastest</subfield>
    <subfield code="o"></subfield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">IMDEA Software Institute</subfield>
    <subfield code="a">Felipe Gorostiaga</subfield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Striver: Stream Runtime Verification for Real-Time Event-Streams</subfield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">user-elastest</subfield>
  <datafield tag="536" ind1=" " ind2=" ">
    <subfield code="c">731535</subfield>
    <subfield code="a">ElasTest: an elastic platform for testing complex distributed large software systems</subfield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u"></subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2"></subfield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;We study the problem of monitoring rich properties of real-time event streams, and propose a solution based on Stream Runtime Verification (SRV), where observations are described as output streams of data computed from input streams of data. SRV allows a clean separation between the temporal dependencies among incoming events, and the concrete operations that are performed during the monitoring.&lt;/p&gt;

&lt;p&gt;SRV specification languages typically assume that all streams share a global synchronous clock and input events arrive in a synchronous manner. In this paper we generalize the time assumption to cover real-time event streams, but keep the essential explicit time dependencies present in synchronous SRV languages. We introduce&amp;nbsp;Striver, which shares with SRV the simplicity, and the separation between the timing reasoning and the data domain.&amp;nbsp;Striver&amp;nbsp;is a general language that allows to express other real-time monitoring languages. We show in this paper translations from other formalisms for (piece-wise constant) signals and timed event streams. Finally, we report an empirical evaluation of an implementation of&amp;nbsp;Striver.&lt;/p&gt;</subfield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="g">282-298</subfield>
    <subfield code="b">Springer</subfield>
    <subfield code="t">Proceedings of the The 18th International Conference on Runtime Verification</subfield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.1007/978-3-030-03769-7_16</subfield>
    <subfield code="2">doi</subfield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">publication</subfield>
    <subfield code="b">conferencepaper</subfield>
Views 72
Downloads 179
Data volume 117.4 MB
Unique views 55
Unique downloads 164


Cite as