Electronique Mag - Le journal de l'électronique.

MathWorks annonce aujourd’hui que le TÜV SÜD vient de certifier Simulink Design Verifier et Simulink Verification and Validation comme outils utilisables dans les processus de développement compatibles ISO 26262. Avec cette évaluation indépendante, les ingénieurs automobiles peuvent développer des systèmes embarqués critiques et établir ainsi toute la confiance nécessaire envers le bon fonctionnement de ces outils de vérification.

Conformément à la dernière version de la norme ISO 26262-8, MathWorks a établi un classement et une préqualification de la génération automatique de jeux de tests offerte par Simulink Design Verifier, ainsi que de la mesure de couverture offerte par Simulink Verification and Validation. Le TÜV SÜD a ensuite évalué les résultats de ce classement et de cette préqualification. Pour aider encore davantage les ingénieurs automobiles à utiliser les fonctions de vérification et de validation au plus tôt dans le cadre de l’approche Model-Based Design, MathWorks a renforcé son kit de certification IEC avec les artefacts de certification ISO 26262, les certificats et documentations associés pour Simulink Design Verifier et Simulink Verification and Validation et la mise à jour du flux de référence. Ces ajouts récents permettent au kit de certification IEC d’étendre la prise en charge de la certification ISO 26262 aux produits associés à l’approche Model-Based Design et de vérification, notamment Embedded Coder et Polyspace.

Afin de prendre en charge les activités supplémentaires traitées par la norme de sécurité fonctionnelle ISO 26262, MathWorks poursuit une étroite collaboration avec ses partenaires et propose des technologies complémentaires. Ainsi, medini analyze, outil d’analyse pour la sécurité fonctionnelle proposé par ikv++ technologies AG, permet d’automatiser la détermination et la décomposition du niveau ASIL requis par la norme ISO 26262 en matière de développement de systèmes critiques avec Simulink.

http://www.mathworks.com