Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Computing Maximum Task Execution Times — A Graph-BasedApproach
Real-Time Systems
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Efficient microarchitecture modeling and path analysis for real-time software
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Cache modeling for real-time software: beyond direct mapped instruction caches
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Transformation of Path Information for WCET Analysis during Compilation
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Classification of WCET Analysis Techniques
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
WCET-driven, code-size critical procedure cloning
SCOPES '08 Proceedings of the 11th international workshop on Software & compilers for embedded systems
Obstacles in Worst-Case Execution Time Analysis
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
A WCET-Aware Compiler- Design, Concepts and Realization
A WCET-Aware Compiler- Design, Concepts and Realization
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
Software and Systems Modeling (SoSyM)
r-TuBound: loop bounds for WCET analysis (tool paper)
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Symbolic loop bound computation for WCET analysis
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
FFX: a portable WCET annotation language
Proceedings of the 20th International Conference on Real-Time and Network Systems
Timing constraints: theory meets practice
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds
Proceedings of the 21st International conference on Real-Time Networks and Systems
Hi-index | 0.00 |
Determining upper bounds for the worst-case execution time (WCET) is mandatory to ensure timeliness of hard real-time systems. To be of practical use, such WCET estimates also have to be precise. In this paper we present the WCET analysis tool CalcWcet167, which supports the Infineon C167 processor as its main target. CalcWcet167 was designed with the goal to enable research on WCET analysis. This is achieved by interfacing to a modified version of the GCC compiler. Besides describing the tool by itself, we show what kind of useful research has been enabled by this approach.