Developing DO-178C and ED-12C-certifiable multicore software

As the avionics industry moves towards greater use of multicore systems, it is important to understand the impact of using multicore processors on DO-178C certification, including the impact of the additional objectives introduced in the applicable A(M)C 20-193 guidance.

In this white paper, we discuss the multicore certification landscape, the importance of understanding and verifying multicore interference for certification, and describe how multicore systems can be developed and verified effectively using SYSGO's PikeOS 5 Operating System and Rapita Systems' MACH¹⁷⁸ solution.