Reliable and Precise WCET Determination
AbsInt follows an approach to compute reliable run-time guarantees which is both well-based on theoretical foundations and practical from a software engineering and an efficiency point of view. Several aspects are essential to our approach:
These principles lead to an understandable, maintainable, efficient, and provably correct system. In the following, an overview of the methods used in the AbsInt approach to WCET determination is given. A comprehensive list of supported processors and compilers is presented.
Last modified on 2 September 2011. © 2002–2011 AbsInt.