publication . Part of book or chapter of book . Conference object . 2018

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

Felipe Gorostiaga; César Sánchez;
Open Access English
  • Published: 10 Nov 2018
  • Publisher: Springer International Publishing
Abstract
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. 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 dependen...
Persistent Identifiers
Subjects
free text keywords: Runtime verification, Real-time computing, Computer science, STREAMS
Funded by
EC| ELASTEST
Project
ELASTEST
ElasTest: an elastic platform for testing complex distributed large software systems
  • Funder: European Commission (EC)
  • Project Code: 731535
  • Funding stream: H2020 | RIA
Validated by funder
Download fromView all 4 versions
Open Access
https://zenodo.org/record/3385...
Part of book or chapter of book
Provider: UnpayWall
Open Access
ZENODO
Conference object . 2018
Provider: ZENODO
null
Lecture Notes in Computer Science
Part of book or chapter of book
Provider: Sygma
null
http://dx.doi.org/10.1007/978-...
Part of book or chapter of book . 2018
Any information missing or wrong?Report an Issue