LLR Trace to HLR

error

llr_trace_to_hlr

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

Low-level requirements (software design) are developed from, and trace to, high-level requirements.

Formula

G(LLR → P_chain(HLR))

Why it matters

DO-178C Table A-2 obj 4-5 & A-4 obj 6: low-level requirements and architecture are developed from high-level requirements, traceable through the lineage.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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