Verifizieren

Hallo zusammen

Ich muss ein HiL-Prüfstand prüfen bzw verefizieren, dass der genau 
rechnet.
Der HiL-Prüfstand bekommt von einem Kontroll-Rechner Eingansignal(E1, 
E2...) und berechnet anhand dieser Signale andere interne Signale.
So die Eingangssignale und die vom Hil berechneten Eingangssignale 
stimulieren eine Steuerung. Die Steuerung gibt dann Ausgangssignale an 
dem Hil-Prüfstand zurück.
Im Kontroll-Rechner werden zur Auswertung die Ein-und Ausgangssignale 
graphisch dargestellt.
Bevor man mit diesem Prozess anfangen soll man logischerweise erstmal 
prüfen ob der HiL tut das was von ihm verlangt ist
Um das zu schaffen habe ich folgendes gedacht:

die Ausgangssignale mathematisch nachbilden und mit der Ausgangssiganle 
der Steuergerät prüfen
so meine Frage ist das ausreichend um zu sagen der Hil wurde 
verifiziert?
wenn ja kennt jemand ein Tool mit dem ich diese Idee ausführen kann
oder hat man hier eine andere idee?

auf eine Antwort würde mich sehr freuen

Gruß Fabian