“ Traçabilité des résultats PolySpace vers les modèles TargetLink®. ”
Demander un devis
Recevoir de la documentationContacter le fournisseur
Le PolySpace Model Link TL 5.3 (pour dSPACE TargetLink) de THE MATHWORKS est un outil révolutionnaire qui ajoute une nouvelle dimension aux fonctionnalités de PolySpace Client™ for C/C++ ainsi que de PolySpace Server™ for C/C++. Il permet la vérification du code C généré par TargetLink®, tout en offrant la possibilité de remonter les résultats PolySpace au modèle.
1. Un de ses principaux avantages est la traçabilité des résultats PolySpace vers les modèles TargetLink®. Cette fonctionnalité permet aux utilisateurs de suivre facilement et efficacement le cheminement du code jusqu'à sa source. En ayant une vue claire de l'origine du code, les équipes développement peuvent identifier et résoudre les problèmes plus rapidement et plus efficacement.
2. De plus, PolySpace Model Link TL permet non seulement une vérification du code C généré par TargetLink® mais aussi du code écrit manuellement, le tout directement dans l'environnement convivial de Simulink®. Cela offre aux développeurs une plus grande flexibilité dans la gestion de leur code et améliore sensiblement leur productivité.
3. Sa capacité à identifier les parties fiables du modèle est un autre avantage non négligeable. En identifiant les parties du modèle sur lesquelles on peut compter, les développeurs peuvent se concentrer sur la résolution des parties problématiques, optimisant ainsi la qualité en prémontage et le temps de développement.
4. Enfin, l'une des principales forces de PolySpace Model Link TL réside dans sa capacité à corriger les problèmes de conception avant la compilation. En interceptant et rectifiant les problèmes potentiels en amont, on évite les erreurs d'exécution dans le code, ce qui se traduit par une amélioration substantielle de la fiabilité et de la qualité du code final.
A noter, PolySpace Model Link TL est un produit payant. Des informations supplémentaires sont disponibles sur le produit sur le site de The MathWorks. Il est tout à fait possible de trouver un support technique et une documentation complète sur le site de The MathWorks pour toute question relative à ce produit. Pour en savoir plus, n'hésitez pas à consulter la base de données de votre marketplace.
En somme, le PolySpace Model Link TL se révèle être un allié de choix pour les entreprises industrielles afin d'optimiser leur processus développement en améliorant la fiabilité et la qualité du code. Assurément, un outil précieux pour les développeurs à la recherche de performances optimales.
Compatibilité: PolySpace Client™ for C/C++ et PolySpace Server™ for C/C++Environnement de travail: Simulink®Code vérifié: Code C généré par TargetLink® et code écrit manuellementTraçabilité: Résultats PolySpace vers les modèles TargetLink®Verification: Vérification du code C généré directement dans Simulink®Correction: Identification et correction des problèmes de conception avant la compilationAmélioration: Amélioration de la fiabilité et de la qualité du codeType: Produit payant