AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic

Nickovic, Dejan; Lebeltel, Olivier; Maler, Oded; Ferrere, Thomas; Ulus, Dogan

Earlier Version

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic

Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2018. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10806, 303–319.

Download

2018_LNCS_Nickovic.pdf 3.27 MB [Published Version]

DOI

10.1007/978-3-319-89963-3_18

Conference Paper | Published | English

Scopus indexed

Author

Nickovic, Dejan^ISTA; Lebeltel, Olivier; Maler, Oded; Ferrere, Thomas^ISTA ; Ulus, Dogan

Editor

Beyer, Dirk; Huisman, Marieke

Department

Henzinger_Thomas Group

Series Title

LNCS

Abstract

We introduce in this paper AMT 2.0 , a tool for qualitative and quantitative analysis of hybrid continuous and Boolean signals that combine numerical values and discrete events. The evaluation of the signals is based on rich temporal specifications expressed in extended Signal Temporal Logic (xSTL), which integrates Timed Regular Expressions (TRE) within Signal Temporal Logic (STL). The tool features qualitative monitoring (property satisfaction checking), trace diagnostics for explaining and justifying property violations and specification-driven measurement of quantitative features of the signal.

Publishing Year

2018

Date Published

2018-04-14

Publisher

Springer

Volume

10806

Page

303 - 319

Conference

TACAS: Tools and Algorithms for the Construction and Analysis of Systems

Conference Location

Thessaloniki, Greece

Conference Date

2018-04-14 – 2018-04-20

IST-REx-ID

299

Cite this

Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In: Beyer D, Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:10.1007/978-3-319-89963-3_18

Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2018). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In D. Beyer & M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89963-3_18

Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer, 2018. https://doi.org/10.1007/978-3-319-89963-3_18.

D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.

Nickovic, Dejan, et al. AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. Edited by Dirk Beyer and Marieke Huisman, vol. 10806, Springer, 2018, pp. 303–19, doi:10.1007/978-3-319-89963-3_18.

All files available under the following license(s):

Creative Commons Attribution 4.0 International Public License (CC-BY 4.0):