RapiTimeZero is a zero-footprint timing analysis tool for critical software, enabling developers to collect timing metrics, identify optimization areas, and debug rare timing events without source code or instrumentation.

RapiTask is a specialized software tool designed for visualizing and analyzing real-time operating system (RTOS) scheduling behavior in Ada, C, and C++ applications.

RapiTest provides automated, requirements-based functional testing for critical Ada, C, and C++ software, streamlining verification and aiding certification.

RapiTaskZero provides zero-footprint event-level scheduling analysis for critical software, helping developers and engineers identify timing issues and bottlenecks.

MACH178 provides a comprehensive solution for achieving high-integrity DO-178C multicore avionics certification, helping organizations quantify interference and automate analysis.

RapiCover provides low-overhead code coverage analysis for critical Ada, C, and C++ software, aiding in DO-178C and ISO 26262 certification for safety-critical systems.

Sim68020 is a software simulator for the Motorola 68020 microprocessor, enabling comprehensive debugging, verification, and system emulation without physical hardware.

RapiDaemons analyzes and mitigates interference effects in multicore systems, ensuring predictable timing behavior for critical aerospace software development.

Rapita Verification Suite (RVS) performs on-target software verification for critical embedded systems, providing comprehensive testing, code coverage, timing analysis, and certification evidence.

RapiTime provides in-depth execution time analysis, including Worst-Case Execution Time (WCET), for critical software in Ada, C, and C++ on both target hardware and host environments.

MACH178 Foundations offers templates, procedures, and training to achieve A(M)C 20-193 compliance for multicore software in safety-critical aerospace applications.

RapiCoupling is a software verification tool designed for DO-178C and ISO 26262, providing configurable data and control coupling (DCCC) analysis for safety-critical software.

RapiCoverZero provides zero-footprint code coverage analysis for critical embedded software, enabling verification up to DO-178C DAL B without source code instrumentation.