Checking metric temporal logic with TRACE

M. Hendriks, M.C.W. Geilen, A.R.B. Behrouzian, A.A. Basten, H. Alizadeh, D. Goswami

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Samenvatting

Execution traces' time-stamped sequences of events' provide a general' domain-independent' view on the behavior of systems. They enable analysis of metrics such as latency' pipeline depth and throughput. Often' however' it is not clear what such metrics exactly mean and ad hoc methods are used to compute them. Metric Temporal Logic (MTL) can be used to address this issue: it enables the formal specification of quantitative properties on execution traces. We thus have added an MTL checking capability to the TRACE tool' which is a tool for viewing and analyzing execution traces [1]. We use a recursive memoization algorithm that generates concise explanations of the truth value of the given MTL formula. These explanations can be visualized in the TRACE viewer to aid interpretation by the user.

Originele taal-2Engels
TitelProceedings - 2016 16th International Conference on Application of Concurrency to System Design, ACSD 2016, 19-21 June 2016, Turan, Poland
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's19-24
Aantal pagina's6
ISBN van elektronische versie978-1-5090-2589-3
ISBN van geprinte versie978-1-5090-0763-9
DOI's
StatusGepubliceerd - 3 feb 2017
Evenement16th International Conference on Application of Concurrency to System Design (ACSD 2016) - Torun, Polen
Duur: 19 jun 201621 jun 2016
Congresnummer: 16
http://pn2016.mat.umk.pl/

Congres

Congres16th International Conference on Application of Concurrency to System Design (ACSD 2016)
Verkorte titelACSD 2016
LandPolen
StadTorun
Periode19/06/1621/06/16
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'Checking metric temporal logic with TRACE'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Hendriks, M., Geilen, M. C. W., Behrouzian, A. R. B., Basten, A. A., Alizadeh, H., & Goswami, D. (2017). Checking metric temporal logic with TRACE. In Proceedings - 2016 16th International Conference on Application of Concurrency to System Design, ACSD 2016, 19-21 June 2016, Turan, Poland (blz. 19-24). [7842497] Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ACSD.2016.13