On the MC/DC Code Coverage of Vulkan SC GPU Code
Jaime Luis Martin Aleman, Antonio Agenjo, Sergio Carretero, Leonidas Kosmidis · 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) · 2022
Next generation avionics systems require high performance, which can be provided by graphics processing units (GPUs). The newly introduced API Vulkan SC, enables the development of safety critical GPU software with complex control flow, whose certification is subject to DO-178C certifiability objectives, such as MC/DC code coverage.In this paper we explain for the first time how MC/DC coverage can be applied in Vulkan SC code as well as the type of potential development errors which can arise in GPU programming. We show how GPU code can be converted in equivalent sequential CPU code and how both versions can achieve 100% MC/DC code coverage.