Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain
Rapita co-authored paper wins ERTS22 Best paper award
A look back on Rapita's Multicore DO-178C training in Huntsville
RVS 3.17 Launched
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?
Supporting modern development methodologies for verification of safety-critical software
Flexible licensing software fit for modern working
DO-178C Guidance: Introduction to RTCA DO-178 certification
MATLAB® Simulink® MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
Aerospace Tech Week Europe 2023
Certification Together International Conference
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.
