Découvrez comment intégrer facilement l'analyse statique, les tests unitaires et d'autres méthodes de test de logiciels C et C++ dans votre pipeline CI/CD. Inscrivez-vous pour la démo >>

ÉTUDES DE CAS

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

Temps de lecture : 4 minutes

Télécharger le PDF "

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

CUSTOM

ENSEMBLES DE RÈGLES STANDARD DE CODAGE

AUGMENTÉ

EFFICACITÉ DE DÉVELOPPEMENT

INSTANT

RETOUR SUR L'ANALYSE DE CODE

Un chef de file de l'industrie de la défense et de l'aérospatiale construit des avions militaires et civils depuis plus de quatre-vingts ans. Au cours de cette période, ils sont passés de la construction de systèmes électromécaniques à la conception et au développement de systèmes aéronautiques matériels et logiciels avancés pour diverses plates-formes. Au cours des 50 dernières années, le groupe avionique a cultivé une culture de développement consistant à réaliser, maintenir et livrer des systèmes aéronautiques sûrs, sécurisés et fiables.

Cette société d'avionique de premier plan fabrique des composants constitués de systèmes de commande de vol et d'actionnement répondant aux exigences les plus critiques en matière de sécurité. L'échec est totalement inacceptable. Ils fournissent des systèmes à d'autres équipementiers, notamment des fabricants d'hélicoptères et d'avions autonomes. La société est spécialisée dans la création de systèmes avioniques conformes à la norme DO-178C pour la sécurité et la connaissance de la situation des aéronefs, la gestion radio et audio, l'acquisition de données et les systèmes informatiques embarqués. De plus, ils construisent des capteurs de température et de vibration.

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.

CONFORMITÉ 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.

TESTER LES 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.

Une section représentative du workflow de développement de la société avionique. L'analyse statique joue un rôle clé dans l'automatisation des normes de codage et des revues de code.
Une section représentative du flux de travail de développement de la société avionique. L'analyse statique joue un rôle clé dans l'automatisation des normes de codage et des revues de code.

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 RESULTATS

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.

PASSER À LA PROCHAINE ÉTAPE

Découvrez comment votre équipe de développement de logiciels avioniques peut tirer parti d'une solution de test unifiée pour optimiser plusieurs technologies de test automatisé et maximiser le retour sur investissement des tests. Télécharger le livre blanc.

« 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.