The document discusses the relevant guidance and certification context for developing and verifying multi-core software for DO-178C and outlines how interference can be mitigated and software timing behavior analyzed using SYSGO’s PikeOS RTOS and Rapita’s MACH178 solution.
It demonstrates how to achieve key A(M)C 20-193 activities across the DO-178C life cycle with examples showing how a multi-core platform running on an NXP® T2080 QDS processor can be verified.
We’re delighted to continue to work together with SYSGO to offer helpful resources for DO-178C avionics developers. We hope that our new whitepaper will support individuals and organizations new or otherwise to the additional activities required for the certification of multi-core DO-178C software in adherence with A(M)C 20-193 guidance.
Andrea Beer, Marketing Manager, Rapita Systems
The partnership with Rapita is a long cooperation since many years that helps customers combine SYSGO’s PikeOS with Rapita software verification tools to increase evidence of multi-core timing behavior and achieve certifiable software in avionics.
Franz Walkembach, VP Marketing Alliances, SYSGO