← Policy gallery

plans_before_development

software-assurance conformance pure_temporal software-assurancedo-178cavionicsplanningrag-reddal-A-D

Software plans (PSAC, SDP, SVP, SCMP, SQAP) are established and approved before development of life-cycle data begins.

Formula

G((HLR ∨ LLR ∨ SourceCode) → P(plans_approved))

Why it matters

DO-178C Table A-1: the software planning process produces the software plans and standards that govern development and verification; these must precede development.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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