← Policy gallery

code_trace_to_llr

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

Source code is developed from, and traces to, the low-level requirements.

Formula

G(SourceCode → P_chain(LLR))

Why it matters

DO-178C Table A-2 obj 6 & A-5 obj 5: source code is developed from low-level requirements; traceability is established through the artifact lineage.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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