MATLAB, Simulink et Polyspace pour les systèmes embarqués

Concevoir, coder et vérifier vos systèmes embarqués

En appuyant simplement sur un bouton, MATLAB and Simulink vous permettent de générer du code et de l'exécuter sur du hardware. Cependant, le codage n'est qu'une tâche parmi d’autres. Découvrez comment utiliser MATLAB, Simulink et Polyspace pour concevoir, coder et vérifier votre prochain système embarqué, depuis le prototypage jusqu’à la production. Vous pouvez :

  • Générer du code optimisé en C, C++, CUDA, Verilog, VHDL, ainsi que du texte structuré  
  • Utiliser des outils de conception en virgule flottante et en virgule fixe pour trouver le juste équilibre entre coût et performances
  • Vérifier et profiler le code généré, grâce à des tests in-the-loop
  • Vous conformer à des normes telles que AUTOSAR, ISO 26262, DO-178, MISRA C et CERT C
  • Réaliser des prototypes sur des cartes populaires comme Arduino® ou Zynq® avec des hardware support packages

« Grâce au Model-Based Design, notre premier vol a été un succès. Aucun problème ne s'est posé du point de vue du contrôle ou de l'intégration. La génération du code des lois de commande à partir de notre modèle Simulink avec Embedded Coder a éliminé les ralentissements provoqués par la génération manuelle du code et a permis à l'équipe de se concentrer sur l'atteinte des objectifs plus larges du programme. »

Présentations du Coder Summit

Assistez à des présentations délivrées par des ingénieurs d'application et des équipes de développement sur les nouvelles fonctionnalités pour la conception de logiciels, la génération de code embarqué et bien plus encore.

Génération de code à partir de MATLAB

Générez du code C, C++, CUDA et HDL depuis MATLAB en simplement trois étapes itératives. Exécutez et déployez le code où vous voulez, depuis un PC à un appareil mobile en passant par des systèmes embarqués. À mesure que votre design évolue, MATLAB Coder peut automatiquement générer le nouveau code, de sorte que vous n'ayez pas à le créer manuellement. Il Ceci permet d'itérer plus souvent et plus rapidement sur votre design.

Vous pouvez intégrer le code généré sous forme de code source, librairies statiques ou dynamiques dans vos applications exécutées en dehors de MATLAB sur un PC ou le cloud. Vous pouvez également packager le code généré sous forme de fonction MEX pour l'utiliser directement dans MATLAB.

Génération de code embarqué avec MATLAB et Simulink

Kit d'évaluation de systèmes embarqués

Génération de code à partir de Simulink

Utilisez Embedded Coder pour convertir vos modèles en code source de grande qualité et fichiers exécutables à des fins de prototypage et de production. Utilisez les paramètres C et C++ par défaut ou optimisez-les pour de meilleures performances à l'aide des instructions SIMD, des classes de stockage de données et des placements de codes dans des sections de mémoire. Générez du code source ANSI/ISO C/C++, MISRA-C ou AUTOSAR compatible avec votre système run-time. Vous pouvez également générer un exécutable clé en main complet qui se télécharge et s'exécute automatiquement sur votre hardware personnalisé.

Examinez le code généré pour vos modèles à l'aide de liens de traçabilité bidirectionnels ou générez un rapport contenant le code, les données, les interfaces de fonctions et les métriques de code.


Virgule fixe

Convertissez rapidement des designs double précision à l'aide d'un riche ensemble de types de données et d'outils pour développer des algorithmes 8, 16 et 32 bits en virgule fixe et simple précision. Fixed-Point Designer apporte des fonctions, telles que des opérations mathématiques, binaires, sur des tableaux et matricielles, qui optimisent votre design pour le calcul en virgule fixe et en virgule flottante.

Générez facilement du code C et C++ exact au bit près et du code Verilog® et VHDL® synthétisable à partir de votre code MATLAB, de vos modèles Simulink et de vos diagrammes Stateflow.

À l'aide de la fonctionnalité de remplacement des types de données, vous pouvez instantanément échanger votre design virgule fixe ou simple précision en design double précision afin d'analyser l'impact de la quantification. De plus, il existe des outils permettant d'identifier rapidement l'origine des débordements, les pertes de précision, et les dynamiques ou précisions inutiles.

Fixed-Point Designer

PolySpace

Vérification du design et du code

Créez, gérez et tracez des exigences dans des modèles, du code généré et des cas de test. Vérifiez la conformité des designs à des normes de modélisation telles que MAAB. Développez et exécutez des tests basés sur la simulation (y compris des tests Software-in-the-Loop, Processor-in-the-Loop et Hardware-in-the-Loop). Embedded Coder vous permet de profiler le code généré à l'aide du profilage au niveau des tâches et des fonctions.

Les produits Polyspace supportent le code écrit manuellement et le code généré. Ils vous permettent de prouver l'absence d'erreurs d'exécution, de renforcer les règles de codage et de vérifier les vulnérabilités de sécurité à l'aide de normes telles que CWE, CERT-C et ISO/IEC 17961.


Respect des normes

Utilisez Embedded Coder pour générer du code conforme aux normes logicielles et de sécurité les plus répandues, comme AUTOSAR et MISRA C. MathWorks propose des kits de certification et de qualification visant à développer des systèmes et des outils orientés qualité conformes aux normes ISO 26262, IEC 61508, EN 50128, IEC 62304, DO-178, DO-254, et autres normes industrielles pour les systèmes embarqués relevant des secteurs de l'automobile, du médical, du ferroviaire et de l'aérospatiale.

Vérification des normes

Discovery Board

Support hardware

Générez et compilez rapidement du code pour votre hardware, quel que soit le type d'application (traitement du signal, computer vision, traitement d'images ou systèmes de contrôle).

Générez du code et prototypez-le sur des plateformes embarquées telles que Raspberry Pi™ ou Arduino®. Sur les mobiles, intégrez le code généré dans votre propre app et exécutez-le sur des iPhones, iPads ou Android™, y compris l'accès à des capteurs embarqués tels que les caméras, les microphones et les accéléromètres. Déployez votre système embarqué sur de puissants microprocesseurs.

En outre, MathWorks et ses partenaires proposent des intégrations embarquées clé en main pour des équipements populaires, notamment :


Découvrir les produits

Démarrez par des tâches basiques jusqu’à des opérations plus avancées en suivant des exemples et des tutoriels interactifs.

Dites-nous comment nous pouvons vous aider.

Contactez-nous pour une évaluation personnalisée et obtenez un devis correspondant à vos besoins.