Latest revision as of 11:13, 16 February 2021

Abstract

The determination of upper bounds on execution times, commonly called worst-case execution times (WCETs), is a necessary step in the development and validation process for hard real-time systems. This problem is hard if the underlying processor architecture has components, such as caches, pipelines, branch prediction, and other speculative components. This article describes different approaches to this problem and surveys several commercially available tools1 and research prototypes.

Original document

The different versions of the original document can be found in:

• http://dx.doi.org/10.1145/1347375.1347389

• http://www.avacs.org/Publikationen/Open/avacs_technical_report_014.pdf

• http://www.cs.fsu.edu/~whalley/papers/tecs07.pdf,

https://dl.acm.org/citation.cfm?id=1347389,

http://www.es.mdh.se/pdf_publications/1258.pdf,

https://dblp.uni-trier.de/db/journals/tecs/tecs7.html#WilhelmEEHTWBFHMMPPSS08,

https://www.isical.ac.in/~ansuman/sdv/a36-wilhelm.pdf,

http://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/1257.pdf,

http://portal.acm.org/citation.cfm?id=1347389,

http://www.diva-portal.org/smash/record.jsf?pid=diva2:237195,

https://research.chalmers.se/publication/72724,

https://doi.org/10.1145/1347375.1347389,

http://www.cse.chalmers.se/edu/year/2010/course/EDA421/Documents/Articles/ArtistSurveyPaperAlmostFinalVersion.pdf,

https://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/1257.pdf,

https://core.ac.uk/display/100061932,

https://academic.microsoft.com/#/detail/2076285066

• http://dl.acm.org/ft_gateway.cfm?id=1347389&ftid=517623&dwn=1,

http://dx.doi.org/10.1145/1347375.1347389