L'approche MBSE classique porte généralement sur l'utilisation de SysML lorsque les exigences sont saisies sous forme de texte brut. Par conséquent, celles-ci ne font pas partie de la vérification ni de la simulation. Comme elles sont au format texte brut, aucun élément ne peut être généré. Il est donc nécessaire de créer manuellement chaque scénario de test à partir de chaque exigence fonctionnelle.
STIMULUS est porteur d'un nouveau paradigme, car il étend les fonctionnalités de modélisation aux exigences fonctionnelles. 100 % du comportement du système peut être capturé, ce qui se traduit par de nouvelles possibilités d'automatisation des tests : les scénarios sont capturés et le solveur des contraintes de STIMULUS les utilise ensuite pour générer autant de combinaisons d'entrées que nécessaire. Ces vecteurs de test permettent de stimuler la spécification et, par la suite, le code. STIMULUS observe la réponse du code et la compare au comportement défini dans les exigences, automatisant entièrement le test fonctionnel. Lors de la phase d'intégration, STIMULUS analyse le fichier journal généré par l'environnement de test HIL et compare le comportement du système intégré aux exigences, ce qui permet au testeur de détecter automatiquement toute violation.