Researchers from the University of Illinois Urbana-Champaign and Boeing have made significant strides toward certifying the Linux kernel for aviation safety standards. Their recent work, awarded first place at the 2025 Digital Avionics Systems Conference, involved developing specialized testing infrastructure to evaluate Linux's safety compliance, particularly focusing on the rigorous RTCA DO-178C standards and the critical MC/DC (Modified Condition/Decision Coverage) criterion. These efforts aim to demonstrate the highest level of certification, Software Level A, for Linux, which could pave the way for its broader adoption in aviation systems.
CS Ph.D. student Wentao Zhang led the project, working with Boeing collaborators. Zhang's team created unique test tools to accurately measure Linux's code coverage and verified their effectiveness through academic publication. His colleagues, Professors Darko Marinov and Tianyin Xu, highlighted the importance of improving kernel testing coverage, which currently remains below 10%. They emphasized that certifying the safety of the Linux kernel involves overcoming technical challenges, such as adapting coverage tools that depend on file writing—an operation unavailable in kernel space.
The research also explored the practical impact of reliable software in aviation. Xu noted that their work demonstrates how academic research can influence real-world aircraft deployment, directly affecting safety and reliability. The team has committed to ongoing efforts, including technical talks at major industry conferences like the Linux Plumber Conference, to increase the kernel’s test coverage and community support for certification processes.
Funding for this project was provided by The Boeing Company. The ongoing collaboration reflects a promising future where open-source operating systems like Linux meet strict safety standards required for commercial aviation, potentially transforming the software landscape for aircraft systems in the coming years.
