DEVS propose une approche formelle et opérationnelle de la modélisation et de la simulation en fournissant un ensemble d’algorithmes, les simulateurs abstraits. Il existe de nombreuses variantes de ces algorithmes ; adaptées par exemple au contexte d’utilisation. Cependant, le développement informatique de ces algorithmes peut être entaché de problèmes ou de mauvaises interprétations des simulateurs abstraits. Dans le cadre d’une certification des simulateurs DEVS par le réseau, il est nécessaire de disposer d’un ensemble de modèles pour valider et assurer le comportement des simulateurs.