DO-330 Qualification of Enhanced LLVM Structural Coverage Tool
summary
Boeing adapts an open-source LLVM structural coverage tool and pursues DO-330 qualification so coverage output counts toward DO-178C objectives; the enhanced tool already receives an MCDC added in LLVM 18.1 contribution from a university and produces line/branch reports after clang-format, compiler instrumentation, llvm-profdata indexing and llvm-cov reporting. Qualification maps the tool to TQL5 qualification under DO-330, requires prepared V&V artifacts, and future work adds object-level coverage and Linux-kernel measurement.
AI-written summary · about
chapters (9)
- 0:00DO-330 qualification intro
- 1:27DO-178C and DO-330 overview
- 4:26DO-178C coverage needs
- 8:02DO-330 tool levels
- 11:56LLVM Coverage Tool intro
- 16:17LLVM Coverage MCDC support
- 18:46Tool coverage challenges
- 20:54LLVM Coverage workflow
- 22:20Summary and milestones
related talks
31mMeasuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C...
45mLooking at Linux as a SEooC
18mCompiling countermeasures against fault attacks with “Tracing LLVM”
57mCode Genome - Fingerprinting Code to Build Trustworthy SBOMs
14mTool Talk: CodeChecker
30mDefectDojo Project
16mReconciling Optimization With Secure Compilation
46mA Maintainable, Scalable, and Verifiable SW Qualification Approach for Automotive in Linux