WCET analysis with procedure arguments as parameters

Autor: Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari

Publikováno v: RTNS 2023: The 31st International Conference on Real-Time Networks and Systems
RTNS 2023: The 31st International Conference on Real-Time Networks and Systems, Jun 2023, Dortmund, Germany. pp.11-22, ⟨10.1145/3575757.3593655⟩

International audience; Parametric Worst-Case Execution Time (WCET) is a static analysis that computes a WCET formula that depends on various parameters. The formula can be used off-line for fast parameter space exploration, and on-line for adaptive

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7459fca3408133b35120eb3472017439
http://hdl.handle.net/20.500.12210/84340