In EDS ansehen

Graphics Shader Testing for On-Board Visualization System of Civil Aircraft.

Gespeichert in:
Bibliographische Detailangaben
Titel: Graphics Shader Testing for On-Board Visualization System of Civil Aircraft.
Autoren: Barladian, B. Kh., Voloboy, A. G., Shapiro, L. Z., Denisov, E. Yu., Galaktionov, V. A.
Quelle: Programming & Computer Software; Jun2025, Vol. 51 Issue 3, p123-130, 8p
Schlagwörter: COMPUTER software, INTEGRATED software, COMPUTER science, SOFTWARE architecture, REAL-time control, COMPILERS (Computer programs)
Abstract: Software package of a modern civil aircraft operates under the control of a real-time operating system (RTOS). This technology is critical from the safety viewpoint and must be certified for use. An integral part of the RTOS is the graphics component. Existing aviation applications use graphics shaders that are to be compiled before execution. But a shader compiler written in C++ cannot be certified. Therefore, we propose an approach in which the compiler is not used in the on-board software. It compiles shaders in advance, and during operation they are loaded as a program binary object. Thus, certification of the shader compiler is replaced by testing the program object created by it. We developed a hardware and software suite designed for testing the compiler that is independent of a specific target platform. Based on the analysis of aviation applications, a set of tests was developed that allows us to check the correctness of all shader operations used in civil aviation applications. Thus, we have found and successfully implemented a practical solution to the problem of the impossibility of certifying the shader compiler, which made it possible to include shaders in the certified software of the civil aircraft onboard equipment. [ABSTRACT FROM AUTHOR]
Copyright of Programming & Computer Software is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Datenbank: Complementary Index
Beschreibung
Abstract:Software package of a modern civil aircraft operates under the control of a real-time operating system (RTOS). This technology is critical from the safety viewpoint and must be certified for use. An integral part of the RTOS is the graphics component. Existing aviation applications use graphics shaders that are to be compiled before execution. But a shader compiler written in C++ cannot be certified. Therefore, we propose an approach in which the compiler is not used in the on-board software. It compiles shaders in advance, and during operation they are loaded as a program binary object. Thus, certification of the shader compiler is replaced by testing the program object created by it. We developed a hardware and software suite designed for testing the compiler that is independent of a specific target platform. Based on the analysis of aviation applications, a set of tests was developed that allows us to check the correctness of all shader operations used in civil aviation applications. Thus, we have found and successfully implemented a practical solution to the problem of the impossibility of certifying the shader compiler, which made it possible to include shaders in the certified software of the civil aircraft onboard equipment. [ABSTRACT FROM AUTHOR]
ISSN:03617688
DOI:10.1134/S0361768825700100