L’éditeur américain The Mathworks annonce que son logiciel de génération automatique de code embarqué Real-Time Workshop Embedded Coder 5.3 ainsi que la suite d’outils Polyspace (Polyspace Client for C/C++ 7.0.1 et Polyspace Server for C/C++ 7.0.1) ont été certifiés par le TÜV. Ces logiciels sont désormais conformes à la norme ISO 26262 (véhicules routiers – sécurité fonctionnelle). Il s’agit d’une norme concernant la sûreté des logiciels embarqués dans l’automobile. Les ingénieurs automobiles pourront donc utiliser ces produits pour faciliter les étapes de certification, quel que soit le niveau ASIL (Automotive Safety Integrity Level, de A à D) de l’application.
John Friedman, directeur du marketing pour l’industrie automobile chez The Mathworks, ajoute qu’il s’agit des premiers outils certifiés du commerce. « Avec eux, les ingénieurs automobiles donc pourront désormais s’appuyer sur un ensemble d’exigences clairement définies pour développer des systèmes à haut degré d’intégrité. Mais ce n’est pas tout : ils bénéficieront des outils pour développer, générer et tester ce code embarqué. » A noter que les aspects documentaires liés à cette certification seront disponible via un autre produit, The Mathworks IEC Certification Kit, qui contient les certificats, les rapports de certification et la description du processus de développement.
(septembre 2009)