Verification of Airborne Software Compliance

This technical white paper discusses the verification of airborne software compliance with the DO-178C standard, which is recognized as the international certification standard for airborne software. The paper outlines the evolution of the DO-178 standard, starting from its initial publication in 1982 as RTCA DO 178 and its subsequent updates to DO 178B in 1992 and DO 178C in 2011. It highlights the collaborative efforts of the Radio Technical Commission for Aeronautics and EUROCAE in developing these standards to meet the needs of the aviation industry and regulators such as the FAA and EASA. The document also mentions the various supplements and guidance documents that have been introduced to address emerging technologies and needs in the aviation sector. LDRA's involvement in the DO-178B and DO-178C committees is noted, emphasizing the company's contributions to test measurement objectives, particularly in structural coverage analysis. The paper serves as a comprehensive resource for understanding the requirements and processes related to airborne software compliance verification.