PolySpace Model Link SL (for Simulink) 5.3

L'allié de vos projets industriels se nomme PolySpace Model Link™ SL (for Simulink) 5.3, un outil de vérification de code C/C++ intrégrable à Simulink®. Solutions que THE MATHWORKS vous fournit afin d'optimiser la fiabilité de vos systèmes embarqués en générant et vérifiant le code C.

1. Boostez la fiabilité et sécurité de vos systèmes : Grâce à PolySpace Model Link™ SL, localisez les éventuelles erreurs et incongruités dans le code C généré. En conséquence, grâce à cette optimisation, vos systèmes embarqués gagneront en fiabilité et sécurité.

2. Diminuez vos frais de développement : PolySpace Model Link™ SL se révèle être un investissement avantageux à long terme. La possibilité de déceler les erreurs en amont du processus de développement réduit les coûts ultérieurs de développement et de maintenance des systèmes embarqués.

3. Embellissez votre code : PolySpace Model Link™ SL n'est pas simplement un outil de vérification, c'est également votre partenaire pour générer un code C plus clair et plus solide. Le bénéfice ? Une amélioration notable de la qualité globale des systèmes embarqués.

4. Tracez vos résultats : Les erreurs ont été détectées mais vous ne parvenez pas à les situer ? PolySpace Model Link™ SL vous guide en associant directement les résultats PolySpace du code C généré à votre modèle Simulink®, facilitant ainsi la traçabilité des erreurs et des problèmes de conception.

Compatible aussi bien avec le code écrit manuellement qu'avec le code généré par Real-Time Workshop®, PolySpace Model Link™ SL s'adapte à votre mode de travail. Sa fonctionnalité d'analyse statique du code saura méticuleusement repérer les erreurs et les failles dans la conception du code C.

Observez l'état de votre code à travers les rapports détaillés que génère PolySpace Model Link™ SL, vous indiquant précisément les lignes de code dans le modèle Simulink® à rectifier. Intégrez également PolySpace Model Link™ SL à vos outils de build automatisés ou vos systèmes de gestion de versions, pour un environnement de travail complètement synchronisé.

PolySpace Model Link™ SL (for Simulink) 5.3 est donc un atout majeur dans vos développements. Vous pourrez améliorer la fiabilité, la qualité et la sécurité de vos systèmes tout en ayant un contrôle sur l'évolution de vos codes. C'est une solution complémentaire à votre environnement Simulink® qui ne remplace pas vos autres outils de vérification, mais les renforce.

Un dernier point à noter, PolySpace Model Link SL ne prend en charge que le code généré par Real-Time Workshop® Embedded Coder. Vous saurez donc où porter votre attention pour optimiser vos projets.