How many multicore certifications have been completed using Rapita’s approach to A(M)C 20-193 compliance?

The MACH¹⁷⁸  approach has been used in a successful certification of multicore software with the Spanish National Institute for Aerospace Technology (INTA), which oversees certification for Spanish military avionics. There have only been very few complete certifications of multicore software for avionics so far, and we are frequently involved in projects at every stage of the process.