DO-178C / ED-12C - Software Considerations in Airborne Systems
Table A-3: Verification of outputs of software requirements process – DO-178C / ED-12C - Software Considerations in Airborne Systems

DO-178C / ED-12C - Software Considerations in Airborne Systems A-3.2: High-level requirements precise and free of conflict

Each high-level requirement is exact, detailed enough and unambiguous, and the set contains no requirements that conflict. Table A-3 objective 2, described in 6.3.1.b; applies at levels A, B, C, D, independence required at levels A, B; activities 6.3.1; outputs Software Verification Results.

Maintained by Gerard BlokdykControl text last updated

Other controls in Table A-3: Verification of outputs of software requirements process – DO-178C / ED-12C - Software Considerations in Airborne Systems

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.