AbsInt

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

WCET path


© 1998–2011 AbsInt. Legal notices.