Ensure that all changes (and all related machine operations) in the model create the correct result in real-time.
Assure que tous les changements (et toutes les opérations des machines liées) dans le modèle créent le résultat correct en temps réel.