Skip to main content
SAIF Autonomy to use RVS to verify their groundbreaking AI platform
RVS 3.22 Launched
Hybrid electric pioneers, Ascendance, join Rapita Systems Trailblazer Partnership Program
Magline joins Rapita Trailblazer Partnership Program to support DO-178 Certification
How to certify multicore processors - what is everyone asking?
Data Coupling Basics in DO-178C
Control Coupling Basics in DO-178C
Components in Data Coupling and Control Coupling
DO-278A Guidance: Introduction to RTCA DO-278 approval
ISO 26262
Data Coupling & Control Coupling
Verifying additional code for DO-178C
XPONENTIAL 2025
Avionics and Testing Innovations 2025
DASC 2025
DO-178C Multicore In-person Training (Fort Worth, TX)
DO-178C Handbook
Learn how DO-178C works and discover best practices in our comprehensive guide
Trusted by the best, globally
Rapita Verification Suite
On-target software verification for critical embedded systems
Why choose RapiTest
Why choose RapiCover
RVS has been used in the critical embedded industry for over 15 years and supported a number of avionics projects globally. Qualification kits for qualified RVS products have supported more than 20 DO-178B and C certification projects up to and including DAL A.
MACH178
Multicore Avionics Certification for High-integrity DO-178C projects
By following a V-model process, our engineers investigate multicore systems and produce evidence of multicore timing behavior.
Our approach has been designed to support projects within the A(M)C 20-193 (DO-178C) and ISO 26262 contexts.
Your safety-critical partner
Since 2004, Rapita Systems has provided on-target software verification tools and services globally to the embedded aerospace and automotive industries.
Our solutions help to increase software quality, deliver evidence to meet safety and certification objectives and reduce project costs.
We support customers with:
Our solutions in action
We have helped some of the best-known aerospace and automotive companies in the world with their verification needs.
Industries
Civil Aviation
Our verification tools and services are used throughout the civil aviation industry worldwide, offering the means to test critical software used in avionics. We have a firm history of providing the evidence needed to satisfy DO-178C objectives, for example that code meets its low-level requirements, is covered by tests and operates within timing deadlines.
Automotive
The needs for testing of automotive electronics have increased dramatically over the past two decades. Our verification tools and services meet these evolving needs; by producing data needed to verify functional testing and optimize timing behavior, they help guide software design to meet safety standards such as ISO 26262.
Military & Defense
From the flight control unit to display and power systems, software can be found almost everywhere in military aircraft. Our solutions are used by companies worldwide including Bell and Airbus to support the verification of functional and non-functional behavior for mission-critical software to meet standards such as MIL-HDBK-516C, AMACC, EMACC, ADSM, Def Stan 00-55 & 00-56.
Space
Software is essential to the success of space missions. Our tools and services are used to verify mission-critical flight software used in space programs across the globe by organizations including NASA and ESA. With specialized on-target testing support for processors used in space applications, our solutions produce data needed to verify code to meet standards such as NASA NPR 7150.2D and ECSS-E-ST-40C.
