AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Yunanistan, 14 - 20 Nisan 2018, cilt.10806 LNCS, ss.303-319, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Cilt numarası: 10806 LNCS
- Doi Numarası: 10.1007/978-3-319-89963-3_18
- Basıldığı Şehir: Thessaloniki
- Basıldığı Ülke: Yunanistan
- Sayfa Sayıları: ss.303-319
- Boğaziçi Üniversitesi Adresli: Hayır
Özet
We introduce in this paper AMT2.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.