Le système d’exploitation temps réel ThreadX se conforme aux recommandations Misra

Express Logic ThreadX Misra

Le système d’exploitation temps réel ThreadX libre de redevances de l'éditeur Express Logic est désormais conforme aux recommandations de programmation en C/C++ décrites au sein des spécifications Misra C:2004 ...et Misra C:2012. Ces documents, produits par l’association Misra (Motor Industry Software Reliability Association) à l’origine pour le monde automobile, décrivent un ensemble de règles de programmation destinées à écrire du code sûr, sans ambiguïtés, facile à maintenir et portable dans le cadre d’applications critiques. Aujourd’hui cette approche est largement répandue dans l’industrie et dépasse de loin le seul cadre du développement de code critique embarqué pour l’automobile.

« Misra C est une directive cruciale dans le monde industriel pour la prévention des erreurs de codage, précise William E. Lamie, CEO d’Express Logic. Grâce à sa conformité avec Misra C, notre système d'exploitation ThreadX va jouer un rôle encore plus important que par le passé dans le développement de produits où la sécurité et la sureté de fonctionnement sont essentielles. »

Ce respect des recommandations Misra C par ThreadX est valable pour les versions 2004 et 2012 de Misra et a été vérifié et analysé à travers l’outil C-STAT d’IAR Systems, intégré au sein de l’environnement de développement IAR Embedded Workbench.