Worst-Case Execution Time Analyses
for Modern Microprocessors
Microprocessors controlling potentially hazardous
machinery and systems are always expected to provide for ultra-precision timing. It is
essential that the worst-case execution time (WCET) of all their tasks is known.
Modern processor components like caches and pipelines
complicate the task of determining the WCET considerably, since the execution time of a
single instruction may depend on the execution history. For example, the safe yet almost
never valid assumption of a cache hit never occurring results in a serious overestimate
of the WCET. Overestimates of the WCET in turn result in an overscaled hardware design.
State-of-the-art computer architectures and
deterministic performance guarantees are no longer a contradiction in terms when using
AbsInt's static analysis techniques. We leverage the experience of more than 20 years
of research in real-time technology and program analysis. Our systematic approach means
WCET analyses which are extremely precise and provably correct.
About WCET determination | About aiT WCET Analyzers | Contact