Skip to main content
RVS 3.19 Launched
Rapita is proud to be an ISOLDE Partner
Rapita and SYSGO underline partnership
RVS 3.18 Launched
Introduction to Data Coupling and Control Coupling for DO-178C
Measuring response times and more with RapiTime
Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects
There are how many sources of interference in a multicore system?
Data Coupling & Control Coupling
Verifying additional code for DO-178C
DO-178C Guidance: Introduction to RTCA DO-178 certification
MATLAB® Simulink® MCDC coverage and WCET analysis
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
- Code complexity requirements
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 requirements including the NASA NPR 7150.2d and ECSS-Q-HB-80-04A.
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.
Functional testing for space software
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.
Structural coverage analysis for space software
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.
Execution time analysis for space software
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.
RTOS scheduling visualization for space software
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.
