Chronos: A timing analyzer for embedded software
From MaRDI portal
Publication:2463546
Recommendations
- Calculating WCET estimates from timed traces
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
- Correct Hardware Design and Verification Methods
- scientific article; zbMATH DE number 1249731
- Modeling control speculation for timing analysis
Cited in
(18)- Data-flow frameworks for worst-case execution time analysis
- Modeling control speculation for timing analysis
- Chronos: A performance characterization tool inside the EDPEPPS toolset
- Timing analysis of concurrent programs running on shared cache multi-cores
- Scalable and precise refinement of cache timing analysis via path-sensitive verification
- Criticality: static profiling for real-time programs
- A time-predictable VLIW processor and its compiler support
- Calculating WCET estimates from timed traces
- Bounding the execution time of software in realtime systems
- Chrono: An Open Source Multi-physics Dynamics Engine
- Code instrumentations supporting real-time dynamic scheduling
- New Developments in WCET Analysis
- scientific article; zbMATH DE number 1249731 (Why is no real title available?)
- Worst-case execution time aware compilation techniques for real-time systems
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
- Architectural support for subroutine execution time monitoring in embedded microprocessors
- A compiler framework for the reduction of worst-case execution times
- Modeling out-of-order processors for WCET analysis
This page was built for publication: Chronos: A timing analyzer for embedded software
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2463546)
