AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic [chapter]

Dejan Ničković, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2018 Lecture Notes in Computer Science  
We introduce in this paper AMT 2.0, a tool for qualitative and quantitative analysis of hybrid (mixed) signals that combines numerical values and discrete events. The evaluation of the signals is based on rich temporal specifications expressed in extended Signal Temporal Logic (xSTL), which combines Signal Temporal Logic (STL) with Timed Regular Expressions (TRE). The tool features qualitative monitoring (property satisfaction checking), trace diagnostics for explaining and justifying property
more » ... iolations and specification-driven measurement of quantitative features of the signal.
doi:10.1007/978-3-319-89963-3_18 fatcat:cokvtqy2ezgyrcv64iv3xcbt6a