DO-178C / ED-12C - Software Considerations in Airborne Systems A-5.2: Source code matches the architecture

Source code follows the data flow and control flow set out in the architecture. Table A-5 objective 2, described in 6.3.4.b; applies at levels A, B, C, independence required at level A; 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.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