Calculating WCET estimates from timed traces

DOI10.1007/S11241-015-9240-1MaRDI QIDQ255292zbMATH OpenOpenAlexWikidataFDO

Authors Michael Zolda, Raimund Kirner

Publication date 9 March 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

measurementcontext-sensitiveILPimplicit path-enumeration techniqueinteger linear programmingIPETscenariostiming analysisWCETworst-case execution time

Mathematics Subject Classification ID

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

Recommendations

• Chronos: A timing analyzer for embedded software
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
• Schedulability analysis of timed regular tasks by under-approximation on WCET
• Segment Abstraction for Worst-Case Execution Time Analysis
• Trace acquirement technology of real-time systems based on WCET analysis

Cites work

• An introduction to test specification in FQL
• Cache behavior prediction by abstract interpretation
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Cited in

(9)

• scientific article; zbMATH DE number 1979820 (Why is no real title available?)
• scientific article; zbMATH DE number 2080778 (Why is no real title available?)
• scientific article; zbMATH DE number 1760152 (Why is no real title available?)
• Chronos: A timing analyzer for embedded software
• Code instrumentations supporting real-time dynamic scheduling
• Trace acquirement technology of real-time systems based on WCET analysis
• Improving WCET by applying worst-case path optimizations
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
• Dynamic interference-sensitive run-time adaptation of time-triggered schedules

Describes a project that uses

Uses Software

• FShell
• RapiTime
• pwcet

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q255292)