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},
}

Downloads: 0