Skip to main content
Magline joins Rapita Trailblazer Partnership Program to support DO-178 Certification
Eve Air Mobility joins Rapita Systems Trailblazer Partnership Program for eVTOL projects
Rapita Systems launches MACH178 Foundations for multicore DO-178C compliance
Collins Aerospace and Rapita present award winning paper at DASC 2024
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
DO-178C Multicore In-person Training (Fort Worth, TX)
DO-178C Multicore In-person Training (Bristol)
DO-178C Multicore In-person Training (Toulouse)
RVS can be used to verify Ada code for requirements-based testing, structural coverage, execution time and scheduling behavior.
Instrumentation-based RVS tools (e.g. RapiCover) support common Ada compilers and language standards by default, including Ada 95, 2005 and 2012 and GNAT ProTM and Green HillsTM compilers among others. For a non-exhaustive list of the Ada compilers we've worked with, see the RVS compatibility page.
If you're using a modified compiler or language standard, it's easy to add support for this by using RVS compiler extensions. We can also support this directly through our integration services.
Zero-footprint RVS tools (e.g. RapiCoverZero) support verification of code written in any compiled language, including Ada.
Feature applies to:
