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 emulation can reduce avionics verification costs: Sim68020
Multicore timing analysis: to instrument or not to instrument
How to certify multicore processors - what is everyone asking?
Data Coupling Basics in DO-178C
Certifying Unmanned Aircraft Systems
DO-278A Guidance: Introduction to RTCA DO-278 approval
ISO 26262
Data Coupling & Control Coupling
DASC 2025
DO-178C Multicore In-person Training (Fort Worth, TX)
DO-178C Multicore In-person Training (Toulouse)
HISC 2025
Solving the challenges of multicore certification
A complete solution
Having learned a lot from our active CAST-32A Compliance projects, we have been developing new products and services that support the CAST-32A compliance workflow.
Reports
Reports detailing the interference channels on a multicore platform and the results of experiments in which the impact of interference on those channels is characterized are one of the main outputs of a CAST-32A compliance project. We provide these reports for a range of multicore platforms.
Template compliance documents
For CAST-32A compliance, the compliance workflow and verification results must be detailed in DO-178C planning and results documents.
Our template CAST-32A compliance documents offer a convenient blueprint that can be used to generate final DO-178C compliance documents. These documents can be completed as part of our Platform Analysis and Characterization and Software Analysis and Characterization Services, or if you are performing the analysis yourself, you can use the templates as a starting point to writing your compliance documents.
Process documents
DO-178C certification requires detailed processes to be developed and followed for each stage of the overall DO-178C process.
We have been developing process documents that describe how to perform multicore platform and software analysis and characterization using the Rapita CAST-32A Compliance workflow. As well as providing supplementary evidence to support DO-178C certification, these documents can be used to perform this analysis and characterization yourselves.
Characterization tests
CAST-32A compliance requires evidence that worst-case execution time (WCET) analysis has taken into account interference effects on a multicore platform. WCET analysis can be supported by tests to characterize the impact of interference on the platform.
Our characterization tests include test artifacts needed to analyze the potential impact of interference on multicore platforms and perform WCET analysis of software hosted on those platforms. Characterization Tests are developed for execution using RVS and RapiDaemons.
RapiDaemon qualification
RapiDaemons, which apply configurable degrees of contention on shared multicore resources, are a key component of the CAST-32A Compliance Solution. As software tools, their use in DO-178C projects must be supported by DO-330 tool qualification evidence.
We have begun developing DO-330 qualification kits and a qualification service for RapiDaemons, which can be used to generate this evidence.
Tool automation
We have been working on new features for the Rapita Verification Suite (RVS) to better support efficient multicore timing analysis for CAST-32A compliance. These new features will be available in the upcoming RVS 3.15 release.
Merge timing results
For multicore timing analysis, large amounts of data must be collected from multiple test runs and then processed to provide CAST-32A compliance evidence. To make the analysis more efficient, data may be collected from multiple platforms or at different time points.
We have added support for these use cases to RapiTime, which now lets you merge timing data from multiple test runs into a single report for further processing.
This feature will be available in RVS 3.15.
Custom exports
Testing scenarios for multicore timing analysis typically require the collection of values of various performance monitoring counters during execution. The counters that must be collected can vary between different test runs.
We have added a feature to RVS to let you generate custom exports that include only the results you need to satisfy your test scenario. To create custom exports, you generate a template file in which you can add text, link to your requirements and test plans, and include RVS results through an API. You can then generate a report containing only the results you need each time you run your tests.
This feature will be available in RVS 3.15.
Videos
Downloads
News & Blog
Compatibility
We can analyze almost all multicore hardware architectures. See below for a list of components of multicore systems that we have analyzed.
Architectures
We have already analyzed the architectures below and can analyze architectures not on this list:
SoC | Cores |
|---|---|
Infineon® AURIX™ | Tricore™ |
NVIDIA® Xavier™ | Carmel Armv8 |
NXP® i.MX 8 | Arm® Cortex®-A53 |
NXP® LS1048A | Arm® Cortex®-A53 |
NXP® LS1088M | Arm® Cortex®-A53 |
NXP® LX2160A | Arm® Cortex®-A72 |
NXP® MPC5777C | PowerPC® e200, PowerPC® e200Z7 |
NXP® P2041 | PowerPC® e500mc |
NXP® T1040/2 | PowerPC® e5500 |
NXP® T2080/1 | PowerPC® e6500 |
TI Keystone™ K2L | Arm® Cortex®-A15 |
TI TMS320F28388D | TI C28x |
Xilinx® Ultrascale+® Zynq MPSoC | Arm® Cortex®-A53, Arm® Cortex-R5 |
Xilinx® Ultrascale+® Zynq RFSoC | Arm® Cortex®-A53, Arm® Cortex-R5 |
If your architecture is not on the list above, contact us.
RTOSs
We have already analyzed the RTOSs below and can analyze RTOSs not on this list:
RTOS |
|---|
Bare metal |
Blackberry® QNX™ |
DDC-I Deos™ |
Green Hills® INTEGRITY® |
KRONO-SAFE® ASTERIOS® |
Lynx Software Technologies LynxSecure® |
SYSGO PikeOS® |
Vector MICROSAR |
Wind River Helix®/VxWorks® |
Custom RTOSs |
If your RTOS is not on the list above, contact us.
Boards
We have already analyzed boards from the manufacturers below and can analyze boards from manufacturers not on this list:
Board Manufacturer |
|---|
Abaco™ |
Curtiss-Wright® |
Mercury Systems® |
North Atlantic Industries™ |
NXP® |
Texas Instruments® |
Xilinx® |
If your board manufacturer is not on the list above, contact us.
Middleware
We have already analyzed middleware from the suppliers on the list below and can analyze middleware from suppliers not on this list:
Middleware Supplier |
|---|
CoreAVI® |
GateWare Communications™ |
Presagis® |
Richland Technologies™ |
If your middleware manufacturer is not on the list above, contact us.
