Le Model-Based Design est utilisé pour développer des logiciels embarqués dans les industries automobile, de l'automatisation et des machines industrielles, ainsi que dans d'autres industries et domaines d'application. Les ingénieurs utilisent le Model-Based Design pour produire des logiciels conformes à la norme de sécurité fonctionnelle IEC 61508. Ces applications requièrent une attention particulière pour traiter les contraintes imposées par la norme ainsi que pour produire les preuves requises pour démontrer la conformité.

La norme IEC 61508 a été développée pour le secteur de l'automatisation industrielle, mais des normes dérivées destinées à d'autres secteurs comme le transport ferroviaire (EN 50128), le secteur médical (IEC 62304) et le secteur des machines (IEC 62061) existent également. Dans l'industrie automobile, la norme internationale ISO 26262 est utilisé pour le segment des voitures particulières. L’IEC 61508 est toujours utilisée pour les véhicules utilitaires, en particulier pour les véhicules hors route.

L’IEC Certification Kit est utile pour la certification IEC 61508 et ses normes dérivées, notamment l’ISO 26262. Il supporte Embedded Coder et les produits de vérification de code Polyspace.

Les produits clés pour développer des applications conformes à l’IEC 61508 :

• IEC Certification Kit (pour IEC 61508 et ISO 26262)
• Simulink
• Stateflow
• Embedded Coder
• Simulink Check
• Simulink Coverage
• Simulink Requirements
• Embedded Coder
• Produits de vérification de code Polyspace

En savoir plus sur le support MathWorks pour l’IEC 61508 :

• Papier SAE :Le Model-Based Design pour les applications de sécurité
• Papier SAE : Un processus de vérification et de validation pour les applications conformes à l'IEC 61508
• Papier MBEES : Le Model-Based Design pour les dispositifs médicaux IEC 62304
• Vidéo : Vérification en cours d'édition pour identifier les problèmes de conformité plus tôt (1:28)