Le leader de l'industrie rationalise le flux de travail et fournit des systèmes avioniques sûrs et sécurisés

Regardez un aperçu de la présentation de ce leader des systèmes avioniques au Sommet de test et de conformité des logiciels embarqués 2021. Découvrez comment ils ont tiré parti des technologies de test automatisé pour fournir efficacement des systèmes avioniques sûrs et sécurisés et maximiser le retour sur investissement des tests.

PRÉSENTATION COMPLÈTE DISPONIBLE ICI >>

Les défis

L'entreprise a été confrontée à deux défis principaux concernant les normes de codage.

1. Intégrer une norme de codage pour se conformer à DO-178C et réussir l'audit.
2. Trouver un outil de test personnalisable pour faire respecter les règles et les normes de son entreprise.

Conforme à DO-178C

Actuellement, la société doit concevoir, développer et tester son système de commandes de vol conformément à la norme de processus avionique la plus stricte, RTCA DO-178C DAL A. Une partie de la phase de vérification et de validation du DO-178C nécessite l'application d'une analyse de code statique et l'utilisation d'un système de codage. la norme. L'utilisation d'une norme de codage pour se conformer à la DO-178C est essentielle. Son intégration pose des défis.

Il est très important de satisfaire l'autorité de certification de l'aviation. Si le système ne satisfait pas aux exigences d'audit fournies avec le DO-178C et ne reçoit pas la certification, la livraison du système n'est pas autorisée. Ces obligations d'audit existent pour assurer la sécurité. Ils vérifient le respect de toutes les exigences DO-178C avec la preuve démontrant que l'équipe a suivi de bonnes pratiques de développement de logiciels et que les tests ont eu lieu avec des résultats satisfaisants.

Test des normes de codage personnalisées

La société d'avionique a ses propres meilleures pratiques et des normes élevées sur la façon d'écrire du code. En tant que tel, l'équipe de développement logiciel a construit et déployé ses propres normes de codage basées sur des pratiques de codage éprouvées accumulées au fil des ans et les a complétées avec les normes de l'industrie existantes telles que MISRA c et ISO C90.

L'adoption de ces normes personnalisées évite de coder des constructions qui provoquent un comportement indésirable et imprévisible. Il garantit également, pour tous les projets et groupes, que le code est :

• Lisible
• Éclairage
• Maintenable
• Testable
• Coffre-fort
• Sécurisés
• Fiable

Dans le but d'accroître l'efficacité de son processus de révision du code, l'équipe avait besoin d'un outil pour automatiser et aider à effectuer l'analyse du code et l'application du codage. Les autres exigences pour l'outil comprenaient :

• Application de toutes les règles et directives de codage personnalisé.
• Documentation de la diligence raisonnable de l'équipe pour les audits ultérieurs.
• Traçabilité, qui est également exigée par DO-178C.

Le défi consistait à trouver un outil de test permettant à l'entreprise de personnaliser les règles et directives de codage. L'entreprise avait besoin d'une solution qui allait au-delà de la boîte.

L'approche

Avec la nécessité de personnaliser entièrement les ensembles de règles de codage standard, le leader de l'avionique a sélectionné la solution de test Parasoft C/C++ pour automatiser l'analyse, les révisions et l'application des normes de codage pour son logiciel critique pour la sécurité. Ils s'appuient sur le support de Parasoft pour MISRA C, DO-178C et son propre ensemble de règles personnalisées.

L'objectif de la personnalisation des normes de codage et de l'automatisation des tests était d'augmenter l'efficacité globale du développement et de faciliter la révision, le débogage, la mise à jour et la maintenance du code.

L'entreprise avait également besoin d'une solution qui s'intégrerait dans son processus de développement critique pour la sécurité. S'intégrant en douceur dans leur workflow de développement, Parasoft C / C ++test automatise leurs normes de codage et leur processus de révision.

Avantages de la solution

La société d'avionique a mis en œuvre le test Parasoft C/C++ dans son processus de développement de logiciels critiques pour la sécurité afin de générer des avantages notables.

• Fournir une rétroaction continue aux développeurs. Pendant le développement, l'équipe utilise la solution pour analyser le code en cours de développement et reçoit un retour direct aux développeurs pendant qu'ils travaillent. Ils obtiennent un retour instantané sur la conformité aux normes de codage et la détection précoce des défauts.
• Aide à l'intégration de nouveaux développeurs. Le nouveau personnel peut se familiariser avec les normes de l'entreprise. Les nouvelles recrues peuvent apprendre rapidement les normes de codage grâce à un soutien immédiat et à des commentaires des outils.
• Automatisez le processus de révision du code. L'entreprise a automatisé les parties fastidieuses de son processus de révision de code afin que l'équipe puisse se concentrer sur les parties de la révision qui nécessitent une intervention humaine, telles que la satisfaction des exigences, la conception et les décisions de mise en œuvre.
• Activer la personnalisation des règles. Notre client a développé son propre ensemble de règles d'analyse statique pour répondre à ses exigences spécifiques pour ses projets aérospatiaux. Les capacités de personnalisation des règles de test Parasoft C/C++ étaient une fonctionnalité importante pour la création de ces règles.
• Préparez le logiciel pour de longs cycles de vie. Dans l'industrie aéronautique, les logiciels doivent être prêts à voler pendant 30 ans ou plus. Cela signifie que la maintenance et les mises à jour sont une considération importante pour la conception et la mise en œuvre. Savoir que leur code est conforme aux normes de l'entreprise signifie qu'il est plus lisible et maintenable pour les futurs développeurs.
• Qualifier les outils. Les normes de sécurité critiques exigent que les outils utilisés pendant le développement répondent aux normes de qualité implicites pour le produit en cours de développement. Dans ce cas, la société cherche à qualifier le test Parasoft C/C++ à DO-178C, supplément DO-330, Supplément de considérations relatives à la qualification des outils logiciels. Parasoft fournit qualification d'outils kits pour cette norme et d'autres, ce qui permet de réduire la charge de travail et le temps nécessaire pour effectuer les tests et la documentation nécessaires.

Les Résultats

Avec le test Parasoft C/C++ entièrement intégré à son processus de développement logiciel, la société d'avionique a créé une solution personnalisée analyse de programme statique ensemble de règles pour évaluer leur logiciel à l'échelle de l'entreprise par rapport à leur norme de codage axée sur la sécurité.

Avec les outils en place et le processus intégré à une partie du flux de travail de développement, ils obtiennent un retour immédiat pendant le codage pour aider les développeurs à se conformer aux normes personnalisées et aider les nouveaux développeurs à se mettre à niveau.

« MISRA », « MISRA C » et le logo triangulaire sont des marques déposées de The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Tous droits réservés.