Open-DO: an open-source initiative for the development of safety-critical software

2009 ◽  
Author(s):  
C. Comar ◽  
F. Gasperoni ◽  
J.F. Ruiz
Keyword(s):  
Open Source ◽  
Safety Critical

scholarly journals High Speed Visualization in the JetOS Aviation Operating System Using Hardware Acceleration

2020 ◽  
pp. short3-1-short3-9
Author(s):  
Boris Barladian ◽  
Nikolay Deryabin ◽  
Alexey Voloboy ◽  
Vladimir Galaktionov ◽  
Lev Shapiro
Keyword(s):  
Operating System ◽  
Open Source ◽  
High Speed ◽  
Hardware Acceleration ◽  
Gpu Acceleration ◽  
Effective Algorithm ◽  
Software Library ◽  
Graphics Processor ◽  
Safety Critical

The paper discusses details of the pilot display visualization that uses the hardware acceleration capabilities of the Vivante graphics processor in the JetOS aviation operating system. Previously the OpenGL Safety Critical library was implemented without hardware acceleration. This was done in such a way because software library is easier to certify in accordance with the avionics requirements. But usage of the software OpenGL does not provide acceptable visualization speed for modern Flight Display and 3D relief applications. So more complex visualization approach utilized the GPU acceleration capabilities was elaborated. Although the OpenGL library was implemented for a specific GPU and took into account its specificity, the described approach to adapt the MESA open source library can be used for other GPUs. An effective algorithm for multi-window visualization using the implemented library with hardware acceleration is present. The described approach allows you to achieve the visualization speed acceptable for the pilot display of the aircraft.

scholarly journals Agile methods for open source safety-critical software

2011 ◽  
Vol 41 (9) ◽  
pp. 945-962 ◽  
Author(s):  
Kevin Gary ◽  
Andinet Enquobahrie ◽  
Luis Ibanez ◽  
Patrick Cheng ◽  
Ziv Yaniv ◽  
...  
Keyword(s):  
Open Source ◽  
Agile Methods ◽  
Safety Critical

Open Source

2007 ◽  
Author(s):  
Fadi P. Deek ◽  
James A. M. McHugh
Keyword(s):  
Open Source
Sign in / Sign up

Export Citation Format

Share Document