Measuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C

Explore Boeing's approach to measuring code coverage of the Linux kernel for safety-critical avionics applications in compliance with RTCA DO-178C requirements. Delve into the varying code coverage criteria based on system criticality, illustrated with code examples. Learn about Boeing's collaboration with the University of Illinois Urbana-Champaign to enhance LLVM coverage tools, specifically llvm-cov, to meet certification requirements. Discover the current capabilities of llvm-cov, including statement and decision coverage, and ongoing efforts to implement modified condition/decision coverage (MC/DC). Gain insights into the additional requirements for object code coverage and design coupling and control coupling (DCCC) necessary for full DO-178C compliance in this informative 31-minute talk presented by Andrew Oppelt from The Boeing Company at a Linux Foundation event.

Measuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C... - Andrew Oppelt