Due to the dynamic behaviour of acceleration mechanisms such as caches and branch predictors, static Worst-Case Execution Time () analysis methods tend to scale poorly to modern hardware architectures. As a result, a tradeo must be made between the duration and the precision of the analysis, leading to an overestimation of the bounds. This in turn reduces the schedulability and resource usage of the system. In this paper we present a new data structure to speed up the analysis: the eXecution Decision Diagram (), which is an ad-hoc extension of Binary Decision Diagrams tailored for analysis problems. We show how s can be used to represent eciently execution states and durations of instruction sequencesn a modern hardware platform. We demonstrate on realistic applications how the use of an substantially increases the scalability of analysis.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.