Measuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C...
summary
Boeing is adapting open source tooling to meet RTCA DO-178C for using Linux in avionics, selecting llvm-cov with University of Illinois to collect coverage on the kernel. LLVM 18.1 now contains initial MC/DC support merged into LLVM 18.1, and teams prove MC/DC data can be collected from the kernel (emulator and bare metal) but current reports show ~1% MC/DC hit from existing tests. Limitations remain: MC/DC only handles up to six conditions, object code coverage missing, and the tool still requires formal qualification.
AI-written summary · about
chapters (13)
- 0:00Code coverage and DO-178C
- 1:24DO-178C safety levels
- 3:51Code coverage in safety-critical software
- 5:57Source code coverage types
- 10:14Development phases and testing independence
- 12:20Object code coverage challenges
- 15:06Open-source vs commercial tools
- 17:53LLVM COV research
- 20:46LLVM COV certification advantages
- 22:29LLVM COV limitations
- 24:35Future object code coverage plans
- 27:01Open-source community benefits
- 31:15Q&A
related talks
31mDO-330 Qualification of Enhanced LLVM Structural Coverage Tool
45mLooking at Linux as a SEooC
05mLightning Talk: Pruning the Kernel CVEs With Code Reachability Analysis
17mExploring Function-Level Code Metrics and Developer Attributes for Linux Kernel Vulnerabilities
39mCloudLinux runtime kernel update for ARM growth difficulties
35mControl Flow Integrity on RISC-V Linux
41mCross Industry Demands and Collaboration Opportunities
34mBetween Building and Testing Your Linux Driver