Calculating WCET estimates from timed traces
From MaRDI portal
Publication:255292
DOI10.1007/S11241-015-9240-1zbMATH Open1351.68046OpenAlexW2153747125WikidataQ59476889 ScholiaQ59476889MaRDI QIDQ255292FDOQ255292
Authors: 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
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
measurementcontext-sensitiveILPimplicit path-enumeration techniqueinteger linear programmingIPETscenariostiming analysisWCETworst-case execution time
Cites Work
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Dynamic interference-sensitive run-time adaptation of time-triggered schedules
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
Uses Software
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)
