Verfahren und System zur Verifikation von Softwarefunktionen für eine Steuereinheit, mit Verwendung eines Simulationsmodells zur Abbildung der Softwarefunktionen und der Steuereinheit, wobei aus dem identischen Simulationsmodell zum einen für eine erste Experimentalsteuereinheit und zum zweiten für eine zweite Seriensteuereinheit der Softwarecode für die Softwarefunktionen automatisch generiert wird, wobei identische Eingangsgrössen für die Softwarefunktionen auf beiden Steuergeräten zum Einsatz kommen und die sich daraus ergebenden Ausgangsgrössen beider Steuereinheiten zeitsynchron, also simultan erfasst werden, wobei durch Vergleich der Ausgangsgrössen beider Steuereinheiten die Softwarefunktionen verifiziert werden.