A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Model-based WCET Analysis with Invariants
2015
Electronic Communications of the EASST
The integration of worst case execution time (WCET) analysis in model-based designs allows timing problems to be discovered in the early phases of development, when they are less expensive to correct than in later phases. In this paper, we show how model-based WCET analysis can improve timing calculations compared to program-based WCET analysis. The models are described by hierarchical state machines with concurrency, probabilistic transition, stochastic transitions, costs/rewards attached to
doi:10.14279/tuj.eceasst.72.1026
dblp:journals/eceasst/NokovicS15
fatcat:7vj7fozgojcybmqc6zipnhbc2u