Academic Journal
DO-178C Certification of General-Purpose GPU Software: Review of Existing Methods and Future Directions
| Title: | DO-178C Certification of General-Purpose GPU Software: Review of Existing Methods and Future Directions |
|---|---|
| Authors: | Trompouki, Matina Maria, Kosmidis, Leonidas |
| Source: | UPCommons. Portal del coneixement obert de la UPC Universitat Politècnica de Catalunya (UPC) |
| Publisher Information: | IEEE, 2021. |
| Publication Year: | 2021 |
| Subject Terms: | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Informàtica::Enginyeria del software [Àrees temàtiques de la UPC], Software architecture, Aerospace electronics, 02 engineering and technology, Costs, Codes, Aviònica, Àrees temàtiques de la UPC::Aeronàutica i espai::Aviònica, Aeronàutica i espai::Aviònica [Àrees temàtiques de la UPC], Aviònica digital, Avionics, 0202 electrical engineering, electronic engineering, information engineering, Graphics, Enginyeria de programari, Digital avionics, Avionics -- Certification, Graphics processing units, Software, Productivity |
| Description: | —General-Purpose GPU software is considered for use in avionics to satisfy the increased computational requirements of future systems. Therefore, it needs to be certified following the DO-178C guidance as all airborne software. In this work, we review the existing methods in the literature, we analyse their advantages and disadvantages, and we discuss how they can be combined to obtain certification with lower effort and cost. Our focus is restricted on application-level software, under the premise that successful completion of verification of avionics graphics GPU software products has been demonstrated, so their GPU compiler has been considered acceptable for these already DO-178C certified products, or existing qualified GPU compilers exist. Finally, we discuss upcoming solutions for certified general purpose GPU computing . This work was performed within the Airbus TANIAGPU Project ADS (E/200) in collaboration with the project partners Airbus Defence and Space, Madrid, Spain and CoreAVI, Canada. It was also partially supported by the European Space Agency (ESA) through the GPU4S (GPU for Space) activity, the Spanish Ministry of Economy and Competitiveness under grants PID2019-107255GB and FJCI-2017-34095 (Spanish State Research Agency / http://dx.doi.org/10.13039/501100011033) and the HiPEAC Network of Excellence. |
| Document Type: | Article Conference object |
| File Description: | application/pdf |
| DOI: | 10.1109/dasc52595.2021.9594412 |
| DOI: | 10.13039/501100011033 |
| Access URL: | http://xplorestaging.ieee.org/ielx7/9594100/9594288/09594412.pdf?arnumber=9594412 http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=9594412 https://hdl.handle.net/2117/366309 https://doi.org/10.1109/dasc52595.2021.9594412 |
| Rights: | IEEE Copyright |
| Accession Number: | edsair.doi.dedup.....41e3dbd45ebef211b360db13b1f0f6d6 |
| Database: | OpenAIRE |
| DOI: | 10.1109/dasc52595.2021.9594412 |
|---|