Mit SimB ist es möglich, automatisierte und interaktive Animationen einer Maschine mit Zeitverhalten zu erstellen und auszuführen. Hierfür wird eine SimB-Datei im .json-Format benötigt. Beispiele hierfür sind unter https://github.com/favu100/SimB-examples zu finden.
Sobald eine passende SimB-Datei geladen ist, kann die Maschine animiert werden und der so entstandene Pfad inklusive des Zeitverhaltens gespeichert werden.
Über den Plus-Button können verschiedene Arten der Validierung hinzugefügt werden, um probabilistische und zeit-abhängige Eigenschaften der Maschine zu überprüfen:
Detaillierte Erläuterungen zur Erstellung der SimB-Dateien sowie Informationen zu den Simulationsarten sind hier zu finden.