Avec la génération de code pour les systèmes de contrôle industriels, la conversion des modèles en code embarqué gagne nettement en rapidité et en facilité par rapport au codage manuel, ce qui permet aux développeurs de réduire de 50 % le temps de développement, d'obtenir la certification des systèmes critiques et de concevoir une imprimante industrielle fonctionnant immédiatement comme prévu dans l'environnement de production.
Avec plus de vingt ans de succès dans la génération de code embarqué, MathWorks continue de développer des technologies dont les entreprises ont besoin pour :
- L'architecture et le design de logiciels
- La génération du code embarqué
- La vérification du code embarqué, y compris les tests software-in-the-loop et processor-in-the-loop
- Les certifications IEC 61508 et IEC 61511
« Avec notre approche précédente, nous serions toujours en train de travailler sur le contrôleur. Grâce au Model-Based Design, nous avons pu livrer le produit en avance, et il était bien plus stable. Le contrôleur est si précisément réglé que 99 % de nos clients utilisent la configuration par défaut sans aucun ajustement. »
L'architecture et le design de logiciels
MATLAB, Simulink et Stateflow sont adaptés au développement de systèmes de contrôles industriels dans le domaine des moteurs, de la production d'énergie, de la robotique et des systèmes d'automatisation des procédés. Utiliser des spécifications exécutables plutôt que des diagrammes statiques accélère le design et permet d'effectuer les opérations de vérification et de validation très tôt dans le cycle de développement. Avec Simscape, Motor Control Blockset et Robotics System Toolbox, vous pouvez modéliser des systèmes multi-domaines et générer du code avec les produits de génération de code.
Utilisez des supports packages hardware pour déployer rapidement des algorithmes sur Arduino®, STM32, NXP™, NVIDIA®, TI C2000™, Zynq® et d'autres cartes.
Génération du code embarqué
Embedded Coder génère du code embarqué depuis des fichiers MATLAB ou des modèles Simulink. Le code C ou C++ ANSI/ISO est généré par défaut pour n’importe quelle cible. De plus, les API flexibles permettent d'optimiser facilement ce code pour des MCU et des DSP spécifiques. L'intégration de code manuel pour la simulation et la génération de code est supportée. Utilisez Simulink PLC Coder pour générer du texte structuré et des schémas à contacts IEC 61131-3 pour les PLC et les PAC.
Vérification du code embarqué
Les tests processor-in-the-loop (PIL) et hardware-in-the-loop (HIL) constituent la pierre angulaire de la vérification des systèmes de contrôle industriels. En effet, elles automatisent le test et la comparaison de l'exécution du code et du système par rapport au comportement du modèle de référence. La création d'un environnement de test PIL est supportée avec Embedded Coder ou une connexion directe à vos cartes processeur. Simulink Real-Time permet de réaliser les tests HIL en générant et en exécutant du code temps réel à partir des modèles physiques Simulink. Vous pouvez créer, exécuter, examiner et organiser des tests PIL et HIL à l'aide de Simulink Test.
Model-Based Design pour l’IEC 61508
Papier du congrès SAE 2009
Certification IEC 61508
L’IEC 61508 constitue la principale norme de sécurité pour les systèmes de contrôle industriels. Le TÜV SÜD a certifié Embedded Coder et les outils de vérification de modèle Simulink pour l’IEC 61508. Le TÜV SÜD a également certifié Simulink PLC Coder pour l’IEC 61508 et son adaptation à l'industrie de l'automatisation des procédés pour l’IEC 61511. Les certificats et rapports de certification du TÜV SÜD sont inclus dans l'IEC Certification Kit. Les certifications du TÜV SÜD reposent sur des processus de vérification et de validation spécifiques aux applications (également inclus dans l'IEC Certification Kit).
En savoir plus sur la génération de code embarqué
Découvrir les produits
Dites-nous quels sont vos besoins.
Contactez-nous pour une évaluation personnalisée et obtenez un devis correspondant à vos besoins.
