Work-in-progress: modelling probabilistic timing analysis. Nokovic, B. & Sekerinski, E. In Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, EMSOFT '17, pages 4:1–4:2, October, 2017. ACM. doi abstract bibtex We describe the process of calculating the execution time profile (ETP) in order to determine the probabilistic worst case execution time (WCET) using a model-based approach. By hierarchical state machines with probabilistic transitions and costs/reward specifications, we model the instructions with probabilistic execution time. From the model, our tool, pState, generates input code for a probabilistic model checker on which properties can be analysed.
@inproceedings{NokovicSekerinski17ModellingProbabilisticTimingAnalysis,
title = {Work-in-progress: modelling probabilistic timing analysis},
doi = {https://doi.org/10.1145/3125503.3125566},
abstract = {We describe the process of calculating the execution time profile (ETP) in order to determine the probabilistic worst case execution time (WCET) using a model-based approach. By hierarchical state machines with probabilistic transitions and costs/reward specifications, we model the instructions with probabilistic execution time. From the model, our tool, pState, generates input code for a probabilistic model checker on which properties can be analysed.},
booktitle = {Proceedings of the {Thirteenth} {ACM} {International} {Conference} on {Embedded} {Software} 2017 {Companion}, {EMSOFT} '17},
publisher = {ACM},
author = {Nokovic, Bojan and Sekerinski, Emil},
month = oct,
year = {2017},
pages = {4:1--4:2},
}