Skip to main content
RapiTest - Functional testing for critical software
RapiCover - Low-overhead coverage analysis for critical software
RapiTime - In-depth execution time analysis for critical software
RapiTask - RTOS scheduling visualization
RVS Qualification Kits - Tool qualification for DO-178 B/C and ISO 26262 projects
RapiCouplingPreview - DCCC analysis
MACH178 - Multicore Avionics Certification for High-integrity DO-178C projects
MACH178 Foundations - Lay the groundwork for A(M)C 20-193 compliance
Multicore Timing Solution - Solving the challenges of multicore timing analysis
RapiDaemon - Analyze interference in multicore systems
RTBx - The ultimate data logging solution
Sim68020 - Simulation for the Motorola 68020 microprocessor
V&V Services
Data Coupling & Control Coupling
Training
Consultancy
Tool Integration
Support
Rapita System Announces New Distribution Partnership with COONTEC
Rapita partners with Asterios Technologies to deliver solutions in multicore certification
SAIF Autonomy to use RVS to verify their groundbreaking AI platform
RVS 3.22 Launched
What does AMACC Rev B mean for multicore certification?
How emulation can reduce avionics verification costs: Sim68020
Multicore timing analysis: to instrument or not to instrument
How to certify multicore processors - what is everyone asking?
Certifying Unmanned Aircraft Systems
DO-278A Guidance: Introduction to RTCA DO-278 approval
ISO 26262
Data Coupling & Control Coupling
IEEE SMC-IT/SCC 2025
DASC 2025
DO-178C Multicore In-person Training (Fort Worth, TX)
DO-178C Multicore In-person Training (Toulouse)
Create reusable test logic with RapiTest
You can now add C or C++ "support" functions to your RapiTest tests. These functions let you create test logic that is reusable across multiple tests so you can perform functions such as initialization or teardown, defining complex sets of checks, implementing complex stubs, and instantiating templates.
You can generate and verify your support functions in the RVS Project Manager and use them in any of RapiTest’s test formats.
Improved incremental coverage support
RapiCover now helps you to collect your coverage incrementally if you need multiple builds to collect coverage due to the timing overheads of instrumentation.
By enabling incremental coverage, you can now instruct RapiCover to automatically remove instrumentation for code elements that have already been collected. Combined with RapiCover’s already low overheads, incremental coverage helps you work around execution time limitations on embedded targets and build your way to 100% coverage more efficiently than ever.
Test what you compile with RapiTest
You can now test your object code without modifying it with RapiTest. By separating test harness code from original object code and linking the two together to create the final executable, RapiTest lets you test your original compiled object code.
This capability can be set up during a RapiTest integration.
Merge timing results with RapiTime Zero
RapiTimeZero now supports merging timing results from multiple test runs, allowing you to collate timing results collected from them into a final report. This feature even lets you merge results from different testing strategies, e.g. system testing and low-level testing, so long as the functions under test are identical.
Downloads
RVS: Setting the standard for safety-critical software verification
"We use the tool on some of the world’s most complicated flight control systems. Compared to previous tools we’ve used in the past, RapiCover’s performance has been much more reliable and robust" - Collins Aerospace Flight Controls
