We provide verification solutions for software developers working on high-integrity space software around the world.
RVS helps engineers meet verification requirements efficiently by supporting the automation of the following verification activities:
- Functional testing
- Structural coverage analysis
- Worst-case execution time analysis
- Task-level scheduling analysis and visualization
RVS tools increase the efficiency of testing processes, aid identification of performance bottlenecks, and are designed to make verification efficient even in resource-constrained embedded environments. RVS supports the verification of critical software against safety requirements and design assurance guidelines including the aerospace gold standard, DO-178C.
RVS supports on-target verification of software running on LEON processors, which are often used in space applications, as well as on other embedded target hardware.

RapiTest is a testing framework designed for unit and integration testing. RapiTest reduces the effort needed to apply requirements-based tests to your code by automating test harness generation, execution, and results collection.
With its powerful test formats, RapiTest reduces the time it takes to write test cases. RapiTest lets you run tests as part of a continuous build environment on either a host computer or your test rig, so office hours don’t delay your project.
RapiCover is specifically designed to meet the challenges of verifying space software for critical embedded systems. The tool collects structural coverage measurements from software tests run on host computers, simulators or the embedded target itself.
By integrating seamlessly with your native build system, RapiCover lets you collect verification data automatically, for example in continuous build environments. Compared to similar tools on the market, RapiCover has extremely low overheads, so coverage data can be collected in fewer test runs.
Learn more about code coverage for space applications.
RapiTime is designed to meet the challenges of verifying space software written in C and C++ for critical embedded systems. It collects execution time measurements from software tests run on host computers, simulators or the embedded target itself and reduces the cost and effort needed to analyze execution time behavior, optimize software and update legacy systems.
By integrating seamlessly with your native build system, RapiTime lets you collect verification data automatically, for example in continuous build environments. Compared to similar tools on the market, RapiTime has extremely low overheads, so you can collect verification data in fewer test runs.
RapiTask helps embedded space engineers understand the scheduling behavior of their software. The tool collects data on task-level scheduling behavior when software tests are run on host computers, simulators or the embedded target itself, and provides a variety of displays, charts and graphs to help you analyze the data.
By integrating seamlessly with your native build system, RapiTask lets you collect task-level scheduling data automatically, for example in continuous build environments.