PolySpace Model Link™ SL erweitert den PolySpace Client™ for C/C++ und den PolySpace Server™ for C/C++ um Tools, mit denen sich an generiertem Code erhaltene PolySpace-Ergebnisse direkt zu Simulink®-Modellen zurückverfolgen lassen. Sie können damit unmittelbar erfassen, welche Teile eines Modells zuverlässig sind und sofort Design-Probleme beheben, die später Laufzeitfehler im Quellcode erzeugen würden. Mit PolySpace Model Link SL lässt sich mit dem Real-Time Workshop® Embedded Coder™ generierter C-Code direkt in der Simulink-Umgebung verifizieren. Es können aber auch Mischungen aus generiertem und handgeschriebenem Code vor der Kompilierung verifiziert werden.