← Policy gallery

standards_defined

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

Software requirements, design, and coding standards are defined before the corresponding life-cycle data is produced.

Formula

G(SourceCode → P(standards_defined))

Why it matters

DO-178C Table A-1 obj 6-7: requirements, design and code standards are defined so outputs can be checked for conformance. Not required at DAL D.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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