← Policy gallery

accomplishment_summary

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

A Software Accomplishment Summary (SAS) is produced, showing compliance with the PSAC.

Formula

F(AccomplishmentSummary)

Why it matters

DO-178C Table A-10 obj 3: the means of compliance and evidence are provided to the certification authority, summarised in the Software Accomplishment Summary.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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