Monitoring Temporal Properties of Continuous Signals

  • Oded Maler
  • Dejan Nickovic
Conference paper

DOI: 10.1007/978-3-540-30206-3_12

Volume 3253 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Maler O., Nickovic D. (2004) Monitoring Temporal Properties of Continuous Signals. In: Lakhnech Y., Yovine S. (eds) Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Lecture Notes in Computer Science, vol 3253. Springer, Berlin, Heidelberg

Abstract

In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the real-time logic mitl, augmented with a static mapping from continuous domains into propositions. From formulae in this logic we create automatically property monitors that can check whether a given signal of bounded length and finite variability satisfies the property. A prototype implementation of this procedure was used to check properties of simulation traces generated by Matlab/Simulink.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Oded Maler
    • 1
  • Dejan Nickovic
    • 1
  1. 1.VERIMAGGièresFrance