MISRA, AUTOSAR et autres règles de programmation

MISRA-C et MISRA-C++ sont des normes de programmation développées dans l'industrie automobile par la Motor Industry Software Reliability Association (MISRA). L'objectif de MISRA est d'accroître la qualité (en particulier en termes de fiabilité et de maintenabilité) dans le développement de logiciels.
Les règles MISRA sont également utilisées dans d'autres secteurs tels que l'aviation, la défense, les télécommunications et la technologie médicale.

AUTOSAR (AUTomotive Open System ARchitecture) est une initiative de normalisation des principaux constructeurs et équipementiers automobiles.

La conformité aux normes MISRA et AUTOSAR est plus facile à obtenir avec des outils statiques appropriés.
Avec CodeSonar et Imagix 4D, Verifysoft propose différents outils pour aider à suivre ces normes.

Les principales règles de programmation actuellement couvertes:

• MISRA C 2004
• MISRA C 2012
• MISRA C 223
• MISRA C++ 2008
• AUTOSAR C++ 2014
• MISRA C++ 2022
• MISRA C++ 2023
  
• DISA-STIG (Security Technical Implementation Guide)
• ISO/IEC TS 17961 (C Secure Coding Rules Technical Specification)
• JPL (JPL Institutional Coding Standard for the C Programming Language)
• Power of Ten (NASA Jet Propulsion Lab)
• MITRE CWE (Common Weakness Enumeration)
• OWASP (Open Worldwide Application Security Project)
• CERT (Software Engineering Institute Computer Emergency Response Team)
• JSF++ (Lockheed Martin Corporation)

CodeSonar est un outil de premier plan pour l'analyse statique du code. En plus de vérifier les directives de programmation telles que MISRA, CodeSonar prend en charge d'autres directives. En effet vous pouvez facilement mettre en œuvre vos propres règles de programmation avec CodeSonar.

Outre la vérification des règles de programmation, CodeSonar permet également de découvrir un grand nombre de bogues.

Les normes de codage sont également contrôlées par Imagix 4D. L'outil peut également être utilisé pour la rétro-ingénierie et une meilleure compréhension du code hérité.

Contactez-nous pour plus d'informations. Nous attendons avec impatience votre appel ou votre e-mail!