Enhancing confidence in discrete event simulations

摘要

DAMOCCI (data modelling and constraint checking of instances) is a technique for validating and verifying discrete event simulation models, particularly in a manufacturing production environment. This paper describes DAMOCCI's novel approach and the advantages that it provides. It describes the tools and techniques involved, introducing methods for the construction and reconciliation of two independent views of a system.