At the conference in Prague, Linux founded Open-Source Summit engineers from BOeing and organizations ul (UnderWriter Laboratories, engaged in security certification) came with reports related to the use of Linux in Avionic and critical systems that have special requirements for reliability and security.
It is noted that the specialized RTOS used in Avionic underwent special certification, created with an eye on providing guarantees in security and reliability, and pass Formal verification compliance of specifications.
Among the problems that hinder the use of Linux in Avionic are: lack of necessary certification of reliability, monolithic architecture, randomness, and lack of proper development culture, quality, and safety ensuring.
Possible solutions to these problems include: assessing compliance with existing code through reverse engineering, improving code quality, using security and proven components, moving drivers to user space, isolating in a virtual environment, automated scanning of vulnerabilities, creating a separate team to track safety problems, and postponing implementation to allow time for issues to manifest.
Some advantages of Linux mentioned are: openness for wide reviewing, faster development, active promotion of innovations, well-known API, and the availability of specialists.
