Rapita Systems
Rapita Systems is the leading supplier of software verification tools and services. Providing quality solutions to the global high-integrity aerospace and automotive electronics industries, we help to increase software quality, deliver evidence to meet safety and certification objectives and reduce project costs.
The Rapita Verification Suite (RVS) makes software testing more efficient and reliable. It integrates with existing development environments and offers flexible, low overhead strategies to collect verification data including unit test, structural coverage and worst-case execution time data from the most complex targets including multicore processors. RVS was designed with safety in mind and is qualifiable for use in environments such as DO-178C/ED-12C and ISO 26262.
Accelerated software verification with RVS 3.23
Getting started with RVS
Kickstart your verification with RVS tutorials
Requirements traceability with RapiTest and Polarion ALM
Enabling AI automation in safety-critical avionics with SAIF
How to use AI-driven requirements traceability for faster testing and certification
Out of the box solution for multicore analysis
Airborne Safety with FACE™ in the Digital Battlespace
What does AC 20-193 mean for your multicore project? What changed from CAST-32A?
How to verify your multicore RTOS for DO-178C & AC 20-193
How similar are AC 20-193 and AA-22-01?
What is object code verification in DO-178C? (and how do you do it?)
How to do worst-case execution time analysis for DO-178C | A case study
How to get 100% code coverage for DO-178C | A case study
How to do functional testing for DO-178C
How to understand and verify multicore interference for DO-178C
Rapita Systems — Safety Through Quality
Simulation for the Motorola 68020 microprocessor with Sim68020
How to mitigate interference in multicore processors for DO-178C
How to integrate and verify time-critical applications on DO-178C multicore platforms
Multicore Software Verification with RVS 3.22
How to certify multicore DO-178C software with MACH178 Foundations
Visualize call dependencies with RVS
Streamlined software verification with RVS 3.21
Testing using the RapiTest Editor
Launching critical software to success with RVS 3.20
Kickstart your verification with RVS tutorials
Viewing software behavior at a glance with RVS treemaps
Using support functions with RapiTest
Streamlined software verification with RVS 3.19