DO-330 Qualification of Enhanced LLVM Structural Coverage Tool

Learn about Boeing's ongoing efforts to qualify an enhanced LLVM structural coverage tool for safety-critical avionics software in this 31-minute conference talk. Discover how structural coverage analysis identifies untested code sections, which is essential for ensuring reliability in safety-critical applications, and understand why the tools used in this verification process must themselves be qualified for confident deployment. Explore the comprehensive approach to making this open-source solution compliant with RTCA DO-330 standards, enabling it to generate coverage data that meets the stringent code coverage requirements outlined in RTCA DO-178C for avionics software development. Gain insights into the specific DO-330 requirements and follow the detailed qualification steps, including validation and verification activities designed to ensure the tool's output serves as reliable evidence for achieving DO-178C objectives. Examine the unique challenges encountered when qualifying open-source tools for safety-critical applications and learn about the innovative approaches developed to address these obstacles, providing valuable guidance for organizations pursuing similar qualification efforts in the aerospace industry.