AbsInt tools
Our Real-Time Experts partner AbsInt is the leading tools provider for static program analysis to predict safe bounds of the worst-case execution time (WCET). AbsInt's WCET tools are integrated with Symtavision's tools through an XML-based interface. Customers may also choose to directly purchase AbsInt tools and services through Symtavision and Symtavision’s distributors.
aiT WCET Analyzers statically compute tight bounds for the worst-case execution time of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.