Electronique Mag - Le journal de l'électronique.

The MathWorks annonce la disponibilité de deux kits destinés aux ingénieurs travaillant dans l’automobile, l’aérospatiale et l’automation industrielle. Ces produits leur permettront d’utiliser efficacement l’approche Model-Based Design ou la vérification de code PolySpace™ pour développer des systèmes à haut degré d’intégrité et conformes aux normes largement adoptées dans ces domaines.

Le kit de certification IEC (norme IEC 61508) contient des certificats et des rapports de certification TÜV SÜD, ainsi que d’autres supports adaptés aux produits MathWorks et aux versions employées. Il supporte Real-Time Workshop® Embedded Coder et les produits de vérification de code PolySpace, notamment l’analyseur de code MISRA-C 2004.

Le kit de qualification DO (norme DO-178) inclut les exigences opérationnelles et les plans de qualification des outils, ainsi que des modèles de cas de test et du code. Il prend en charge les produits de vérification de modèle Simulink® Verification and Validation, SystemTest™ et PolySpace pour la vérification du code. Les ingénieurs peuvent l’utiliser pour traiter chaque exigence de qualification décrite dans la norme et pour produire les preuves illustrant le respect de la conformité au standard.

L’IEC 61508 est une norme de sécurité largement employée pour les systèmes électroniques. Elle sert fréquemment à la mise au point de logiciels embarqués destinés aux secteurs de l’automobile et de l’automation industrielle. DO-178 est la norme de sécurité de fait pour les logiciels des systèmes avioniques et elle définit les directives du développement des logiciels mis en œuvre dans les systèmes et équipements des avions.

« Nos clients ont exprimé le besoin de lignes directrices supplémentaires lorsqu’ils utilisent l’approche Model-Based Design ou la vérification de code PolySpace en vue de créer des systèmes à haut degré d’intégrité et conformes aux directives et normes rigoureuses de leur domaine », déclare Jon Friedman, directeur du marketing pour l’aérospatiale, la défense et l’automobile, chez The MathWorks. « Les kits de certification et de qualification vont aider les ingénieurs à rationnaliser le développement des systèmes à haut degré d’intégrité actuels et futurs au moyen des outils MathWorks. »

Tarifs et disponibilités

Le kit de certification IEC et le kit de qualification DO sont disponibles dès à présent. Pour connaître leur prix et en savoir plus sur les outils et les versions pris en charge, visitez le site Web http://www.mathworks.com/products.

http://www.mathworks.fr