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)
We verify the behavior of compilers to support efficient software V&V and compliance, e.g. to show that no code untraceable to source code is generated by compiler optimizations as per DO-178C guidelines. We offer compiler verification services including the following:
- Investigating compiler behavior when different compiler options are used
- Defining a scope of compiler options that can be used to produce compliant software
- Investigating the behavior of different code constructs given a specific set of compiler options
- Generating compliance evidence to show that no additional untraceable code has been generated
For more information, see our Compiler verification case study.
Feature applies to:
