Efficient Robust Monitoring for STL

  • Alexandre Donzé
  • Thomas Ferrère
  • Oded Maler
Conference paper

DOI: 10.1007/978-3-642-39799-8_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8044)
Cite this paper as:
Donzé A., Ferrère T., Maler O. (2013) Efficient Robust Monitoring for STL. In: Sharygina N., Veith H. (eds) Computer Aided Verification. CAV 2013. Lecture Notes in Computer Science, vol 8044. Springer, Berlin, Heidelberg

Abstract

Monitoring transient behaviors of real-time systems plays an important role in model-based systems design. Signal Temporal Logic (STL) emerges as a convenient and powerful formalism for continuous and hybrid systems. This paper presents an efficient algorithm for computing the robustness degree in which a piecewise-continuous signal satisfies or violates an STL formula. The algorithm, by leveraging state-of-the-art streaming algorithms from Signal Processing, is linear in the size of the signal and its implementation in the Breach tool is shown to outperform alternative implementations.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Alexandre Donzé
    • 1
  • Thomas Ferrère
    • 2
  • Oded Maler
    • 2
  1. 1.EECS Dept.University of CaliforniaBerkeleyUSA
  2. 2.Verimag, CNRS and Grenoble UniversityFrance

Personalised recommendations