Proposal first presented to the ACSF informal group for a type-approval mechanism to control for updates to software dependent systems.