← Policy gallery

psac_agreed

software-assurance conformance pure_temporal software-assurancedo-178cavionicscertification-liaisonrag-reddal-A-D

The Plan for Software Aspects of Certification (PSAC) is agreed with the certification authority before development proceeds.

Formula

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

Why it matters

DO-178C Table A-10 obj 1: communication and understanding between the applicant and the certification authority is established via the PSAC. Table A-10 applies at Levels A-D.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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