RT-Tester provides automated test generation, execution, and real-time evaluation across all test levels, supporting distributed simulations and RTCA DO-178C tool qualification.

Virtual Test Bench enables execution of RT-Tester test procedures in a cloud environment, providing scalable, parallel test execution, virtualized simulators, and certification support across industry standards.

Scalable Test Engines provide hard real-time cluster execution, parallel simulation, automated fault insertion, and comprehensive support for RTCA DO-178C compliant test certification.

Automate model-based testing with RTT-MBT, generating test cases, procedures, and data from UML/SysML models, while ensuring requirements traceability and certification according to ISO 26262, DO-178C, and EN 50128/EN 50716.

CCBM instruments C code to measure branch coverage, merge results, visualize execution paths, and preserve coverage data across platforms reliably.

GSMI is an interactive graphical signal analysis tool that visualizes log-based signal data, enables real-time inspection and modification of signals, supports drag-and-drop workpages with customizable widgets, and simplifies system behavior testing through intuitive exploration and plotting of complex signal datasets.