PolySpace UML Link™ RH 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 à vos modèles Telelogic® Rhapsody®. 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. Vous pouvez vérifier aussi bien du code généré que du code écrit manuellement avant la phase de compilation.