Conformité des logiciels ISO 26262 dans l'industrie automobile

Conformité à AUTOSAR C++14

AUTOSAR C++14 ne fournit pas de conseils explicites sur le processus de mise en conformité. Cependant, étant donné que les directives AUTOSAR C++ 14 sont basées sur MISRA C++ 2008, il est raisonnable de se référer aux directives de conformité MISRA pour obtenir des conseils sur la mise en conformité.

L'objectif est de disposer d'un outil d'analyse statique qui couvre autant de directives que possible. Les règles qui ne peuvent pas être appliquées avec une analyse statique nécessiteront des révisions manuelles, qui sont coûteuses.

Comme pour la conformité MISRA C, une procédure de gestion des écarts doit être établie. La procédure de déviation formalise les étapes à suivre lorsque le développement doit s'écarter d'une directive spécifique. Comme le prescrit la MISRA, il est prévu que « … la procédure sera basée sur l'obtention d'une approbation pour chaque déviation ou catégorie de déviations. »

Il s’agit d’un élément particulièrement important du puzzle. Il empêche les développeurs d’abuser du concept de déviation à volonté. En effet, vous aurez besoin de tickets formels stockés dans votre système qui documentent chaque déviation dans le code source. Il en va de même pour la matrice de conformité et toutes les configurations et descriptions de processus supplémentaires créées pour assurer la conformité. MISRA C++2008 est très clair ici et exige une « formalisation au sein du système qualité ».

Enfin, si toutes les procédures décrites dans le point 2008 de MISRA C++ 4.3 sont en place pour AUTOSAR C++14, nous pouvons revendiquer la conformité en démontrant :

• Une matrice de conformité a été complétée qui montre comment la conformité a été appliquée.
• Tout le code C++ du produit est conforme aux règles du document AUTOSAR C++ 14. Dans le cas contraire, il s'agit d'écarts documentés.
• Une liste de tous les cas de non-respect des règles est conservée et pour chaque cas, il existe une dérogation dûment signée.

Prise en charge d'AUTOSAR C ++ 14 dans le test Parasoft C / C ++

Le seul moyen pratique de garantir la conformité avec une norme de codage comme AUTOSAR C++14 est d'utiliser un outil d'analyse statique, comme Parasoft C/C++test, un outil de qualité de code prenant en charge plusieurs technologies de test. La prise en charge de Parasoft C/C++test pour AUTOSAR C++14 fournit un ensemble de vérificateurs intégrés (règles) pour vérifier la conformité aux normes, notamment MISRA C 2023, MISRA C++ 2023, MISRA C 2012, MISRA C++ 2008, JSF AV C++, SEI CERT C/C++, HIC++, CWE Top 25, CWE On the Cusp, OWASP, etc.

Les packs de conformité Parasoft fournissent aux utilisateurs des configurations spécifiques standard, une génération automatique de documentation de conformité, un cadre d'évaluation des risques et des tableaux de bord de rapports de conformité dynamiques (DTP) pour aider les parties prenantes à regrouper, corréler et appliquer facilement des analyses pour centraliser les rapports pour chaque étape de la chaîne d'approvisionnement logicielle complexe.

Avec une couverture à 100 % des règles obligatoires et automatisées, la suite d'outils de test Parasoft garantit la conformité AUTOSAR tout au long du cycle de vie du développement logiciel, améliore la qualité du code et réduit les coûts associés aux ressources et au délai de mise sur le marché.