← Policy gallery

sqa_conformity

software-assurance auditability pure_temporal software-assurancedo-178cavionicsquality-assurancerag-reddal-A-D

Software Quality Assurance assures that life-cycle processes and outputs comply with the approved plans and standards (conformity review).

Formula

G((HLR ∨ LLR ∨ SourceCode) → sqa_reviewed)

Why it matters

DO-178C Table A-9: SQA obtains assurance that the software life-cycle processes comply with approved plans and standards, and conducts a software conformity review.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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