LDRA conforme MISRA C:2023

Toulouse, le 10/03/2023 : S'appuyant sur plus de 20 ans de prise en charge de MISRA C, LDRA, distribué en France par ISIT, a annoncé aujourd'hui l'ajout des dernières directives MISRA C:2023 aux capacités d'analyse de code statique et de création de rapports de sa suite d'outils LDRA. Guidé par Andrew Banks, président du groupe de travail MISRA C et spécialiste technique LDRA, les nouvelles capacités de LDRA aident les développeurs embarqués des secteurs de l'aérospatiale, de la défense, de l'industrie et de l'énergie, des dispositifs médicaux et de l'automobile à identifier et à atténuer le code potentiellement dangereux dans des environnements de plus en plus complexes et difficiles à tester. systèmes multithreads et multiprocesseurs.

Introduit en 1998, MISRA C est la norme pour le développement de logiciels en langage de programmation C où la sûreté, la sécurité et la qualité du code sont essentielles. À Embedded World le 15 mars, le groupe de travail MISRA C annoncera MISRA C:2012 Amendement 4 (AMD4), qui spécifie les règles et directives pour le multithreading et les types atomiques ainsi que des clarifications sur les directives existantes afin de mieux s'aligner sur la façon dont les développeurs utilisent le langage C aujourd'hui. Le groupe présentera également MISRA C:2023, qui consolide les versions précédentes des directives en une seule édition complète pour faciliter la conformité.

"Les directives MISRA C conduisent le développement vers un code sûr, sécurisé et fiable et cette version démontre notre engagement continu à garantir que la conformité MISRA C:2023 est accessible à toutes les équipes de développement critiques pour la sûreté et la sécurité", a déclaré Ian Hennell, directeur des opérations, LDRA . "En plus de jouer un rôle important dans l'élaboration des directives elles-mêmes, nous avons travaillé dur pour nous assurer que nos outils d'analyse statique incluent les capacités nécessaires pour identifier, signaler et corriger les défauts de codage critiques dans les systèmes multithreading et multiprocesseurs. Ces nouveaux ajouts à MISRA ont rendu les directives encore plus pertinentes pour les développeurs de produits embarqués dans une myriade d'industries.

L'évolution de MISRA C et le rôle des outils d'analyse statique LDRA

Sous la direction du président et spécialiste technique LDRA Andrew Banks, le groupe de travail MISRA C a fait évoluer les directives au fil des ans pour s'appliquer aux logiciels au-delà de l'automobile et répondre à des considérations de sécurité supplémentaires tout en s'alignant sur les nouvelles éditions de la norme C, y compris les méthodes de multithreading et types atomiques introduits dans ISO/IEC 9899:2011 et 2018 (plus familièrement appelés C11 et C18).

Les directives MISRA C recommandent d'utiliser des outils d'analyse statique pour valider le code par rapport à ses règles et directives. Avec la prise en charge de toutes les versions des directives MISRA, la suite d'outils LDRA :

• Utilise une analyse statique pour identifier les zones de code non conforme afin de faciliter la documentation et la modification.
• Comprend des rapports détaillés et des affichages graphiques pour améliorer la compréhension du code source conformément aux directives MISRA.
• Facilite l'analyse de la couverture structurelle pour s'assurer que les développeurs peuvent mesurer et maintenir la quantité de code testé, comme recommandé par les directives MISRA.

"L'adoption d'outils d'analyse statique est un investissement précieux pour la conformité MISRA C", a déclaré Banks. "Ces outils rationalisent les efforts de conformité MISRA et réduisent les risques dans le développement de nouveaux logiciels, tout en prenant en charge la formation des développeurs sur MISRA C. Ils offrent la meilleure option pour atteindre la conformité MISRA, un composant intégral de tout processus de certification de logiciel embarqué."

"De plus, en consolidant les récentes améliorations en une seule source, MISRA C: 2023 fournit les nouvelles directives de référence pour les développeurs de logiciels liés à la sûreté ou à la sécurité, voire à tout logiciel à haute intégrité", a ajouté Banks, qui siège au MISRA. Groupe de travail C avec Chris Tapp, collègue de LDRA et président du groupe de travail MISRA C++.

À propos de LDRA :
Depuis plus de 45 ans, LDRA a développé et dirigé le marché des logiciels qui automatisent l'analyse de code et les tests de logiciels pour les marchés critiques en matière de sécurité, de mission, de sécurité et d'entreprise. Travaillant avec les clients pour parvenir à une identification et une élimination précoces des erreurs et à une conformité totale avec les normes de l'industrie, LDRA trace les exigences par le biais d'une analyse statique et dynamique jusqu'aux tests unitaires et à la vérification pour une grande variété de plates-formes matérielles et logicielles. Bénéficiant d'une présence mondiale, LDRA a des sièges sociaux au Royaume-Uni, aux États-Unis, en Allemagne et en Inde, ainsi qu'un vaste réseau de distributeurs. 

A propos d’ISIT : Cybersec & Safety Partners