Experiments with a Program Timing Tool Based on Source-Level Timing Schema
Computer - Special issue on real-time systems
Predicting program execution times by analyzing static and dynamic program paths
Real-Time Systems - Special issue: Real-time languages and language-level timing tools and analysis
Performance analysis of embedded software using implicit path enumeration
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture
Computing Maximum Task Execution Times — A Graph-BasedApproach
Real-Time Systems
Advanced compiler design and implementation
Advanced compiler design and implementation
Bounding Pipeline and Instruction Cache Performance
IEEE Transactions on Computers
Supporting Timing Analysis by Automatic Bounding of LoopIterations
Real-Time Systems - Special issue on worst-case execution-time analysis
Optimizing compilers for modern architectures: a dependence-based approach
Optimizing compilers for modern architectures: a dependence-based approach
On loops, dominators, and dominance frontiers
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Accurate Worst Case Timing Analysis for RISC Processors
IEEE Transactions on Software Engineering
Automatic detection and exploitation of branch constraints for timing analysis
IEEE Transactions on Software Engineering
Hierarchical graph transformation
Journal of Computer and System Sciences
Reliable and Precise WCET Determination for a Real-Life Processor
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Capturing the Effects of Code Improving Transformations
PACT '98 Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques
A Worst Case Timing Analysis Technique for Optimized Programs
RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications
Toward Compiler Optimization of Distributed Real-Time Processes
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Transformation of Path Information for WCET Analysis during Compilation
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Parallel object-oriented framework optimization: Research Articles
Concurrency and Computation: Practice & Experience - Compilers for Parallel Computers
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution
RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
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
A WCET-Aware Compiler- Design, Concepts and Realization
A WCET-Aware Compiler- Design, Concepts and Realization
Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Combining Worst-Case Timing Models, Loop Unrolling, and Static Loop Analysis for WCET Minimization
ECRTS '09 Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems
Source-level support for timing analysis
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS
Software—Practice & Experience
The WCET analysis tool calcwcet167
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Combined WCET analysis of bitcode and machine code using control-flow relation graphs
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Hi-index | 0.01 |
The steadily growing embedded-systems market comprises many application domains in which real-time constraints must be satisfied. To guarantee that these constraints are met, the analysis of the worst-case execution time (WCET) of software components is mandatory. In general WCET analysis needs additional control-flow information, which may be provided manually by the user or calculated automatically by program analysis. For flexibility and simplicity reasons it is desirable to specify the flow information at the same level at which the program is developed, i.e., at the source level. In contrast, to obtain precise WCET bounds the WCET analysis has to be performed at machine-code level. Mapping and transforming the flow information from the source-level down to the machine code, where flow information is used in the WCET analysis, is challenging, even more so if the compiler generates highly optimized code.In this article we present a method for transforming flow information from source code to machine code. To obtain a mapping that is safe and accurate, flow information is transformed in parallel to code transformations performed by an optimizing compiler. This mapping is not only useful for transforming manual code annotations but also if platform-independent flow information is automatically calculated at the source level.We show that our method can be applied to every type of semantics-preserving code transformation. The precision of this flow-information transformation allows its users to calculate tight WCET bounds.