Multicore systems are being used more in critical avionics systems due to their improved SWaP characteristics, increasing need for performance, and decreasing availability of single core processors. The use of these systems presents certification challenges due to the impact of interference from software running on different cores reducing the predictability of timing behavior of hosted applications.
In this presentation we outline future challenges of A(M)C 20-193 certification and present a robust, efficient approach to meeting A(M)C 20-193 objectives, which is being adopted by aerospace avionics developers across the globe.