DO-178C / ED-12C - Software Considerations in Airborne Systems A-5.5: Source code traced to low-level requirements

Each part of the source code links to the low-level requirements it implements. Table A-5 objective 5, described in 6.3.4.e; applies at levels A, B, C, no independence required; 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.1 Source code implements the low-level requirements
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.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