A categorical model for uncertainty and cost management within the Geometrical Product Specification (GPS) framework

► The GPS vision of product management is encapsulated into a categorical data model. ► Models for assessing the uncertainty of verification operations are proposed. ► Uncertainty is translated into costs for effective decision making and budgeting. ► A software demonstrator is proposed to spread GPS throughout industry. ► Company experience is valued and designers are warned about verification costs.