← Policy gallery

changes_controlled

software-assurance auditability pure_temporal software-assurancedo-178cavionicsconfiguration-managementrag-reddal-A-D

Changes to baselined configuration items occur only through an approved change-control process.

Formula

G(Change → P(change_approved))

Why it matters

DO-178C Table A-8: problem reporting, change control, change review and configuration status accounting govern any modification to baselined data.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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