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
{"_id":"uYtwwbc23M2ix52yK","bibbaseid":"nokovic-sekerinski-workinprogressmodellingprobabilistictiminganalysis-2017","author_short":["Nokovic, B.","Sekerinski, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Nokovic"],"firstnames":["Bojan"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"October","year":"2017","pages":"4:1–4:2","bibtex":"@inproceedings{NokovicSekerinski17ModellingProbabilisticTimingAnalysis,\n\ttitle = {Work-in-progress: modelling probabilistic timing analysis},\n\tdoi = {https://doi.org/10.1145/3125503.3125566},\n\tabstract = {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.},\n\tbooktitle = {Proceedings of the {Thirteenth} {ACM} {International} {Conference} on {Embedded} {Software} 2017 {Companion}, {EMSOFT} '17},\n\tpublisher = {ACM},\n\tauthor = {Nokovic, Bojan and Sekerinski, Emil},\n\tmonth = oct,\n\tyear = {2017},\n\tpages = {4:1--4:2},\n}\n\n","author_short":["Nokovic, B.","Sekerinski, E."],"key":"NokovicSekerinski17ModellingProbabilisticTimingAnalysis","id":"NokovicSekerinski17ModellingProbabilisticTimingAnalysis","bibbaseid":"nokovic-sekerinski-workinprogressmodellingprobabilistictiminganalysis-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["work","progress","modelling","probabilistic","timing","analysis","nokovic","sekerinski"],"title":"Work-in-progress: modelling probabilistic timing analysis","year":2017}