PolySpace Model Link™ SL enrichit PolySpace Client™ for C/C++ et PolySpace Server™ for C/C++ avec des outils vous permettant de remonter des résultats PolySpace du code C généré directement à votre modèle Simulink®. Vous pouvez ainsi identifier les parties fiables du modèle et corriger les problèmes de conception qui provoqueront des erreurs d'exécution dans le code. Avec PolySpace Model Link SL, vous travaillez dans l'environnement Simulink® pour vérifier le code C généré par Real-Time Workshop® Embedded Coder. Vous pouvez vérifier aussi bien du code généré que du code écrit manuellement avant la phase de compilation.