Safety Assurance Through Independent Verification

This technical white paper discusses the importance of independent verification in the context of safety-critical avionics software, focusing on the standards RTCA DO-178C and DO-248C. It outlines the principle that verification activities must be conducted by individuals not involved in the software development process to mitigate risks associated with undetected errors and biases. The paper emphasizes the necessity of independence for higher Development Assurance Levels (DALs), such as DAL A and B, where failures could have severe safety implications. It details the regulatory expectations and guidance from DO-178C and DO-248C regarding independence in verification processes, including the qualification of software verification tools. The document also addresses challenges and best practices in implementing independent verification, including resource management, maintaining objectivity, and integrating verification processes with development. Furthermore, it discusses the role of qualified tools in enhancing verification efficiency and compliance with safety standards, ultimately contributing to the reliability of airborne systems.