Your browser does not support JavaScript! Skip to main content
Free 30-day trial DO-178C Handbook RapiCoupling Preview DO-178C Multicore Training Multicore Resources
Rapita Systems
 

Industry leading verification tools & services

Rapita Verification Suite (RVS)

  RapiTest - Unit/system testing  RapiCover - Structural coverage analysis  RapiTime - Timing analysis (inc. WCET)  RapiTask - Scheduling visualization  RapiCoverZero - Zero footprint coverage analysis  RapiTimeZero - Zero footprint timing analysis  RapiTaskZero - Zero footprint scheduling analysis  RapiCouplingPreview - DCCC analysis

Multicore Verification

  MACH178  MACH178 Foundations  Multicore Timing Solution  RapiDaemons

Engineering Services

  V&V Services  Data Coupling & Control Coupling  Object code verification  Qualification  Training  Consultancy  Tool Integration  Support

Industries

  Civil Aviation (DO-178C)   Automotive (ISO 26262)   Military & Defense   Space

Other

RTBx Mx-Suite Software licensing Product life cycle policy RVS Assurance issue policy RVS development roadmap

Latest from Rapita HQ

Latest news

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
View News

Latest from the Rapita blog

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
View Blog

Latest discovery pages

control_tower DO-278A Guidance: Introduction to RTCA DO-278 approval
Picture of a car ISO 26262
DCCC Image Data Coupling & Control Coupling
Additional Coe verification thumb Verifying additional code for DO-178C
View Discovery pages

Upcoming events

Avionics and Testing Innovations 2025
2025-05-20
DASC 2025
2025-09-14
DO-178C Multicore In-person Training (Fort Worth, TX)
2025-10-01
DO-178C Multicore In-person Training (Toulouse)
2025-11-04
View Events

Technical resources for industry professionals

Latest White papers

Mitigation of interference in multicore processors for A(M)C 20-193
Sysgo WP
Developing DO-178C and ED-12C-certifiable multicore software
DO178C Handbook
Efficient Verification Through the DO-178C Life Cycle
View White papers

Latest Videos

Rapita Systems - Safety Through Quality
Simulation for the Motorola 68020 microprocessor with Sim68020
AI-driven Requirements Traceability for Faster Testing and Certification
Multicore software verification with RVS 3.22
View Videos

Latest Case studies

GMV case study front cover
GMV verify ISO26262 automotive software with RVS
Kappa: Verifying Airborne Video Systems for Air-to-Air Refueling using RVS
Supporting DanLaw with unit testing and code coverage analysis for automotive software
View Case studies

Other Resources

 Webinars

 Brochures

 Product briefs

 Technical notes

 Research projects

 Multicore resources

Discover Rapita

Who we are

The company menu

  • About us
  • Customers
  • Distributors
  • Locations
  • Partners
  • Research projects
  • Contact us

US office

+1 248-957-9801
info@rapitasystems.com
Rapita Systems, Inc.
41131 Vincenti Ct.
Novi
MI 48375
USA

UK office

+44 (0)1904 413945
info@rapitasystems.com
Rapita Systems Ltd.
Atlas House
Osbaldwick Link Road
York, YO10 3JB
UK

Spain office

+34 93 351 02 05
info@rapitasystems.com
Rapita Systems S.L.
Parc UPC, Edificio K2M
c/ Jordi Girona, 1-3
Barcelona 08034
Spain

Working at Rapita

Careers

Careers menu

  • Current opportunities & application process
  • Working at Rapita
Back to Top Contact Us

Breadcrumb

  1. Home

How to achieve multicore DO-178C certification with Rapita Systems

If you’re running a multicore DO-178C or ED-12C project, then in addition to the DO-178C objectives, you’ll need to meet the objectives in AC 20-193 or AMC 20-193 to certify your software. Rapita’s MACH178 solutions provide specialist support for achieving A(M)C 20-193 objectives. From initial planning to final approval, we can help you deliver certifiable software on time and on budget.

Tools

MACH178 tools support efficient verification of multicore software. Designed for the rigors of DO-178C from the ground up, our tools support interference generation and multicore timing analysis and come with DO-330 qualification kits.

Services

We provide services, consultancy and training to support multicore DO-178C projects globally. Whether you’re new to multicore or just need a partner to help you improve your workflow, we’re on hand to help.

A(M)C 20-193 objectives

The FAA’s AC 20-193 and EASA’s AMC 20-193 include 10 objectives that should be met to certify multicore DO-178C software.

Verification of Verification Process Results (Table A-7)


A(M)C 20-193 Objective

DAL A  

DAL B  

DAL C  

DAL D  

Rapita Solution  

How?  
MCP_Planning_1 ⚪ ⚪ ⚪ ✔ Templates and Checklists, Services Multicore Certification Planning
MCP_Planning_2 ⚪ ⚪ ⚪ ✔ Templates and Checklists, Services
MCP_Resource_Usage_1 ⚪ ⚪ ⚪ ✔ Templates and Checklists, Services Critical Configuration Settings Identification
MCP_Resource_Usage_2 N/A N/A
MCP_Resource_Usage_3 ⚪ ⚪ ✔ Templates and Checklists, Automation Tools, Services Interference Channel Identification & Characterization
MCP_Resource_Usage_4 ⚫ ⚫ ✔ Templates and Checklists, Automation Tools, Services Measurement of resource usage
MCP_Software_1 ⚫ ⚫ ⚪ ✔ Templates and Checklists, Automation Tools, Services Multicore WCET Analysis
MCP_Software_2 ⚫ ⚫ ⚪ ✔ Services Multicore Data Coupling and Control Coupling Analysis
MCP_Error_Handling_1 🟠 ⚪ ✔ Automation Tools for Testing Safety Nets
MCP_Accomplishment_Summary_1 ⚪ ⚪ ⚪ ✔ Automation Tools, Services Summarize verification results

⚪ Objective required at DAL
⚫ Objective required with independence at DAL
🟠 Objective required at DAL; independence may be required for some aspects of the specification, design, implementation, and verification of any safety net mechanisms

Multicore Certification Planning

AC 20-193 & AMC 20-193 objectives: MCP_Planning_1, MCP_Planning_2

People working on documents

MCP_Planning_1 applies to DAL A, B and C systems. For all software assurance levels, the platform must be described, including the hardware, peripherals, and the RTOS being used. For DAL A and B systems, plans should include information on the verification processes that will be followed to produce AMC 20-193 compliance evidence.

MCP_Planning_2 requires that you provide a description of how your multicore platform’s resources will be used, allocated and verified, identify any enabled dynamic hardware features, and identify the aspects of the multicore platform that require the use of a safety net.

Rapita Systems’ MACH178 solution supports planning for A(M)C 20-193 projects. MACH178 Foundations includes template plans and checklists to help you write up and review your plans. Specifically, it includes a template Plan for Multicore Aspects of Certification (PMAC) and Multicore Software Verification Plan (MSVP), which links to verification procedures also included in MACH178 Foundations. We can also support you in planning through consultancy.

Critical Configuration Settings Identification

AC 20-193 & AMC 20-193 objective: : MCP_Resource_Usage_1

Person soldering

MCP_Resource_Usage_1 requires that you identify and document the MCP configuration settings that will enable the hardware and the software hosted on the MCP to satisfy the functional, performance, and timing requirements of the system.

Rapita Systems’ MACH178 solution supports meeting this objective. A procedure that you can follow to identify Critical Configuration Settings is included in MACH178 Foundations. This is used to identify the hardware registers that can be used to mitigate multicore interference on your platform . MACH178 Foundations also includes a template output and a checklist to ensure that the outputs have been reviewed.

Protection of configuration integrity

AC 20-193 & AMC 20-193 objective: MCP_Resource_Usage_2

This objective was introduced in CAST-32A, but was not included in AC 20-193 and AMC 20-193 as it is already covered in AC 20-152A / AMC 20-152A objective COTS-8.

The objective asked for the applicant to implement a mechanism to detect and recover from inadvertent modifications to critical configuration settings.

Rapita Systems can help you identify critical configuration settings on your multicore platform, see MCP_Resource_Usage_1.

Interference Channel Identification & Characterization

AC 20-193 & AMC 20-193 objective: MCP_Resource_Usage_3

Person going through documents

MCP_Resource_Usage_3 requires that you identify interference channels on your platform and verify any interference mitigation strategies you have deployed. This requires detailed understanding of the multicore platform and its resources, and access to detailed technical reference material about the architecture and behavior of multicore hardware.

Rapita Systems’ MACH178 solution supports meeting this objective. Procedures, results templates and review checklists that you can follow to identify and characterize interference channels on multicore platforms are available in MACH178 Foundations. The output of this characterization contains the set of interference scenarios that can be used for the verification of mitigation mechanisms and interference analysis of the hosted software.

RVS and RapiDaemon tools support the characterization of interference by letting you write multicore interference tests and run them on target. We can support you applying the procedures yourselves or provide services through our specialist multicore engineering team to produce DO-178C compliance evidence on your multicore system.

Verification of resource capacity and usage

AC 20-193 & AMC 20-193 objectives: MCP_Resource_Usage_4

RapiTask

MCP_Resource_Usage_4 requires that you identify the capacity of hardware resources on your multicore processor, and demonstrate that the software will not exceed this capacity.

Rapita Systems’ MACH178 solution supports meeting this objective. Automation tools including RVS and RapiDaemons facilitate the measurement of resource capacity and measurement of software resource usage. Guidance on achieving the objective is included in procedures, templates and checklists available in MACH178 Foundations.

We can also provide consultancy and services to support the verification of resource capacity and usage on your multicore platform.

Multicore WCET analysis

AC 20-193 & AMC 20-193 objective: MCP_Software_1

RapiTime report

MCP_Software_1 requires that you verify that your software meets its timing deadlines in the multicore environment, including interference that can be encountered on the system. It is expected that you produce this evidence through on-target testing. This requires an environment in which interference can be generated in a repeatable fashion.

Rapita Systems’ MACH178 solution supports meeting this objective. MACH178 Foundations includes guidance on selecting strategies for multicore WCET analysis, as well as results templates and checklists to support the activity. RVS tools and RapiDaemons support the collection of WCET evidence on-target. We can also provide consultancy and services to support the definition of WCET analysis methods for your multicore platform.

Multicore Data coupling and control coupling analysis

AC 20-193 & AMC 20-193 objective: MCP_Software_2

RapiCoupling

MCP_Software_2 requires that you verify the data coupling and control coupling (DCCC) of your multicore system. A wide range of perspectives exist on what DCCC means for single core systems, and several different analysis methods have been accepted when certifying DO-178C software. Likewise, as of today, there is no one accepted method for performing DCCC analysis for multicore systems in line with AC 20-193 and AMC 20-193 objectives.

For single-core systems, DCCC analysis is bounded by coupling between components. A(M)C 20-193 specifically mentions that “Interference may occur between tasks of a single component when the tasks execute on different cores”, and implies that interference should be considered during DCCC verification.

While data coupling and control coupling analysis for multicore systems is of yet a little discussed topic, Rapita Systems lead the way in commercial solutions to multicore verification, and we can work with you to define a strategy that fits for your project.

Rapita provide DCCC services and are developing in-depth, flexible support for DO-178C data and control coupling analysis through the RapiCoupling tool, which will include guidance on selecting criteria for the analysis. A case study including use of the tool in collaboration with Collins Aerospace was presented at DASC 2024.

Our DCCC services include working with you to determine a strategy for DCCC analysis that fits your project, helping you set up the automation infrastructure to support the analysis, and V&V to produce on-target DCCC evidence for your software.

Safety Nets

AC 20-193 & AMC 20-193 objective: MCP_Error_Handling_1

This objective asks the applicant to identify the effect of failures that may occur within the multicore platform, and demonstrate that detection and recovery mechanisms have been implemented where necessary.

Safety nets should be developed in line with the aircraft-level safety assessment.

Rapita Systems can help with the verification of a safety net implementation through automation tools and services.

Summarize verification results

AC 20-193 & AMC 20-193 objective: MCP_Accomplishment_Summary

Documents

Verification results generated to meet AC 20-193 and AMC 20-193 objectives should be summarized in an Accomplishment Summary.

This should include a high-level summary of results from all verification activities, traceability back to the plans, and a compliance matrix showing which results trace to which A(M)C 20-193 objectives.

We can provide support for generating an Accomplishment Summary through our MACH178 solution. We use technology that can automate the generation of summaries from results generated through our MACH178 services.

Multicore resources for DO-178C & AC 20-193

Our multicore resource library explores multicore certification for AC 20-193 from planning to approval.

Access now

Multicore Resource Library Image

Photo from Multicore Training

Want to learn more about multicore avionics certification?

DO-178C multicore training for all levels, led by certification experts, covering practical methods.

Find out more

  • Solutions
    • Rapita Verification Suite
    • RapiTest
    • RapiCover
    • RapiTime
    • RapiTask
    • MACH178

    • Verification and Validation Services
    • Qualification
    • Training
    • Integration
  • Latest
  • Latest menu

    • News
    • Blog
    • Events
    • Videos
  • Downloads
  • Downloads menu

    • Brochures
    • Webinars
    • White Papers
    • Case Studies
    • Product briefs
    • Technical notes
    • Software licensing
  • Company
  • Company menu

    • About Rapita
    • Careers
    • Customers
    • Distributors
    • Industries
    • Locations
    • Partners
    • Research projects
    • Contact
  • Discover
    • Multicore Timing Analysis
    • Embedded Software Testing Tools
    • Worst Case Execution Time
    • WCET Tools
    • Code coverage for Ada, C & C++
    • MC/DC Coverage
    • Verifying additional code for DO-178C
    • Timing analysis (WCET) & Code coverage for MATLAB® Simulink®
    • Data Coupling & Control Coupling
    • Aerospace Software Testing
    • Automotive Software Testing
    • Certifying eVTOL
    • DO-178C
    • AC 20-193 and AMC 20-193
    • ISO 26262
    • What is CAST-32A?

All materials © Rapita Systems Ltd. 2025 - All rights reserved | Privacy information | Trademark notice Subscribe to our newsletter