Support de l’IEC 61508 dans MATLAB et Simulink

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.

Automatisation de la vérification et validation avec Simulink