logo slogan


You have your tools and source code but how do you validate them to be certain that they do what they say?  We have the solutions: validation for compilers and tools for static and dynamic testing, failure and reliability prediction and a tool for reverse engineering software.

AbsIntAbsInt tools for validation, verification and certification of safety-critical software.


AbsInt provides advanced Static Anaysis, Stack usage and timing tools for embedded systems, and tools for validation, verification and certification of safety-critical software. > Link to


Percepio Tracealizer for RTOS

Percepio’s Tracealyzer products give an unprecedented level of insight into the run-time world of embedded RTOS. This allows you to solve complex software problems in a fraction of the time otherwise needed, develop more robust designs to prevent future problems and find new ways to improve your software’s performance.> Link to


Tessy Dynamic Test System


TESSY automates the whole unit test cycle including regression testing for your embedded software in C/C++ on different target systems. As an easy-to-install and easy to operate testing tool TESSY guides you through the unit test workflow from the project setup through the test design and execution to the result analysis and reporting. TESSY takes additionally care of the complete test organization as well as the test management, including requirements, coverage measurement, and traceability. >more information

Ristan CASE

Ristan Metrics, flow chart and documentation generator

Development assistants  will reverse engineer code producing a wide range of metrics,  flow charts, calling trees, cross-reference lists and documentation. > Link to