← Policy gallery

derived_requirements_to_safety

software-assurance safety pure_temporal software-assurancedo-178cavionicsdevelopmentrag-reddal-A-D

Derived requirements (not traceable to a higher level) are provided to the system safety assessment process.

Formula

G(DerivedRequirement → P(safety_assessed))

Why it matters

DO-178C §5.1.2 / Tables A-2: derived requirements are defined and provided to the system processes, including the system safety assessment, so their impact is evaluated.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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