Modelling probabilistic timing analysis work-in-progress

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...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion pp. 1 - 2
Main Authors Nokovic, Bojan, Sekerinski, Emil
Format Conference Proceeding
LanguageEnglish
Published New York, NY, USA ACM 15.10.2017
SeriesACM Other Conferences
Subjects
Software and its engineering > Software creation and management > Software verification and validation
hierarchical state machines
WCET
probabilistic model checker
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9781450351867
1450351867
DOI:10.1145/3125503.3125566