FORMATS-FTRTFT 2004 START ConferenceManager    

Monitoring Temporal Properties of Continuous Signals

Oded Maler and Dejan Nickovic

Presented at Formal Modelling and Analysis of Timed Systems - Formal Techniques in Real-Time and Fault Tolerant System (FORMATS-FTRTFT 2004), Grenoble, France, September 22-24, 2004


In this paper we introduce a variant of temporal logic tailored for specifying desired properteis 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.

START Conference Manager (V2.47.2)