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

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.

[1]  Howard Barringer,et al.  Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors , 2012, FM.

[2]  Martin Leucker,et al.  Runtime Verification for LTL and TLTL , 2011, TSEM.

[3]  Paul Caspi,et al.  Timed regular expressions , 2002, JACM.

[4]  César Sánchez,et al.  TeSSLa: runtime verification of non-synchronized real-time streams , 2018, SAC.

[5]  Bernd Finkbeiner,et al.  LOLA: runtime monitoring of synchronous systems , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).

[6]  Bernd Finkbeiner,et al.  Real-time Stream-based Monitoring , 2017, ArXiv.

[7]  Martin Leucker,et al.  Teaching Runtime Verification , 2011, RV.

[8]  Martin Leucker,et al.  TeSSLa: Temporal Stream-based Specification Language , 2018, SBMF.

[9]  Koushik Sen,et al.  Rule-Based Runtime Verification , 2004, VMCAI.

[10]  Bernd Finkbeiner,et al.  A Stream-Based Specification Language for Network Monitoring , 2016, RV.

[11]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[12]  Amir Pnueli,et al.  PSL Model Checking and Run-Time Verification Via Testers , 2006, FM.

[13]  Grigore Rosu,et al.  Synthesizing Monitors for Safety Properties , 2002, TACAS.

[14]  Alwyn E. Goodloe,et al.  Copilot: A Hard Real-Time Runtime Monitor , 2010, RV.

[15]  Grigore Rosu,et al.  Rewriting-Based Techniques for Runtime Verification , 2005, Automated Software Engineering.

[16]  Klaus Havelund,et al.  Verify Your Runs , 2005, VSTTE.

[17]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[18]  Alwyn E. Goodloe,et al.  Monitoring Distributed Real-Time Systems: A Survey and Future Directions , 2010 .

[19]  César Sánchez,et al.  Foundations of Boolean Stream Runtime Verification , 2014, RV.

[20]  Dana Fisman,et al.  Reasoning with Temporal Logic on Truncated Paths , 2003, CAV.

[21]  Koushik Sen,et al.  Generating Optimal Monitors for Extended Regular Expressions , 2003, RV@CAV.

[22]  Dejan Nickovic,et al.  Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications , 2018, Lectures on Runtime Verification.

[23]  Felix Klaedtke,et al.  Monitoring Metric First-Order Temporal Properties , 2015, J. ACM.

[24]  Flaviu Cristian,et al.  The Timed Asynchronous Distributed System Model , 1999, IEEE Trans. Parallel Distributed Syst..