Calculating WCET estimates from timed traces

DOI10.1007/S11241-015-9240-1zbMath1351.68046OpenAlexW2153747125WikidataQ59476889 ScholiaQ59476889MaRDI QIDQ255292

Michael Zolda, Raimund Kirner

Publication date: 9 March 2016

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-015-9240-1

zbMATH Keywords

integer linear programmingILPmeasurementscenariostiming analysiscontext-sensitiveimplicit path-enumeration techniqueIPETWCETworst-case execution time

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Uses Software

• pwcet
• RapiTime
• FShell

Cites Work

• Cache behavior prediction by abstract interpretation
• An Introduction to Test Specification in FQL
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

This page was built for publication: Calculating WCET estimates from timed traces