← Policy gallery

hlr_trace_to_system

software-assurance structural scoped_temporal software-assurancedo-178cavionicsdevelopmentrag-reddal-A-D

High-level requirements are developed from, and trace to, system requirements (bidirectional traceability).

Formula

G(HLR → P_chain(SystemRequirement))

Why it matters

DO-178C Table A-2 obj 1 & A-3 obj 6: high-level requirements are developed from system requirements; traceability is established through the artifact lineage.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

ponens policies add hlr_trace_to_system --into ./trace.json
ponens trace check ./trace.json