DO-178C / ED-12C - Software Considerations in Airborne Systems A-5.1: Source code implements the low-level requirements

Review and analysis show that the source code implements the low-level requirements accurately and fully, and adds no function that is not documented. Table A-5 objective 1, described in 6.3.4.a; applies at levels A, B, C, independence required at levels A, B; activities 6.3.4; outputs Software Verification Results.

Maintained by Gerard BlokdykControl text last updated 21 May 2026

Other controls in Table A-5: Verification of outputs of software coding and integration processes – DO-178C / ED-12C - Software Considerations in Airborne Systems

A-5.2 Source code matches the architecture
A-5.3 Source code verifiable
A-5.4 Source code follows the code standards
A-5.5 Source code traced to low-level requirements
A-5.6 Source code free of accuracy and consistency defects
A-5.7 Integration outputs checked as complete and correct
A-5.8 Parameter data item file content correct and complete
A-5.9 Parameter data item file verification demonstrated

Query this from an agent

The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.

MCP endpoint All DO-178C / ED-12C - Software Considerations in Airborne Systems controls