On the MC/DC code coverage of Vulkan SC GPU code
Visualitza/Obre
10.1109/DASC55683.2022.9925766
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/377514
Tipus de documentText en actes de congrés
Data publicació2022
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
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.
CitacióMartín, J. [et al.]. On the MC/DC code coverage of Vulkan SC GPU code. A: IEEE/AIAA Digital Avionics Systems Conference. "41st Digital Avionics System Conference: Portsmouth, VA, USA, September 18-22, 2022: DASC 2022 conference proceedings". Institute of Electrical and Electronics Engineers (IEEE), 2022, ISBN 978-1-6654-8607-1. DOI 10.1109/DASC55683.2022.9925766.
ISBN978-1-6654-8607-1
Versió de l'editorhttps://ieeexplore.ieee.org/document/9925766
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
dasc_2022.pdf | 418,0Kb | Visualitza/Obre |