Les logiciels dans l'industrie de l'avionique et de la défense

Dans le domaine de l'aviation, la qualité des logiciels ne tolère aucun compromis. Qu'il s'agisse de pilotes automatiques, de systèmes d'alerte ou d'autres applications critiques pour la sécurité, les logiciels utilisés doivent répondre à des exigences strictes.

Ces exigences ne sont pas des lignes directrices internes mais des normes établies au niveau mondial. L'une des principales normes est la DO-178C. Elle détaille la manière dont les logiciels des systèmes embarqués doivent être développés, testés et validés, bien avant qu'un avion ne soit autorisé à décoller. Publiée par RTCA (États-Unis) et EUROCAE (Europe), la norme DO-178C - également connue sous le nom d'ED-12C - est le cadre reconnu pour la certification des logiciels d'avionique.

Les autorités de certification telles que l'EASA et la FAA exigent la preuve que les logiciels répondent aux exigences de sécurité spécifiques à l'aviation, et la conformité à la norme DO-178C est considérée comme contraignante. Contrairement aux réglementations rigides, la norme se concentre sur des objectifs clairement définis plutôt que sur des méthodes prescrites. Cela garantit la flexibilité nécessaire avec un maximum de sécurité.

La norme DO-178C joue également un rôle de plus en plus central dans l'industrie de la défense, en particulier pour les logiciels opérationnels critiques, les systèmes autonomes et l'avionique tactique. Les systèmes aéronautiques militaires, les drones et les plateformes d'armement sont souvent soumis à des exigences environnementales et de sécurité encore plus strictes que les applications civiles. La sécurité fonctionnelle, mais aussi la robustesse dans des conditions extrêmes, la redondance et la tolérance aux pannes jouent ici un rôle crucial. De nombreux projets nationaux et internationaux exigent donc l'application de la norme DO-178C ou de normes comparables comme condition préalable à l'approbation et au déploiement.

Nos outils - Vos solutions pour la DO-178C et autres

Pour répondre aux exigences élevées des projets d'avionique et de défense, nous proposons des outils spécialisés qui vous assistent spécifiquement dans la vérification, la traçabilité et la certification, tant dans l'aviation civile que militaire. Avec Testwell CTC++, CodeSonar, et CodeSentry, vous couvrez tous les domaines relatifs à la sécurité de la conformité DO-178C - de l'analyse à la sécurité des composants en passant par la couverture du code.

Testwell CTC++ – Code Coverage

• Mesure tous les niveaux de couverture conformément à la DO-178C: Statement, Branch, MC/DC
• Intégration transparente dans les chaînes d'outils existantes (CI/CD, IDE, etc.)
• Utilisable sur des cibles intégrées avec un minimum de ressources nécessaires
• Indépendant du compilateur et de la plate-forme
• Certifié par TÜV Süd
• Soutien, si nécessaire, à la qualification des outils conformément à la norme DO-178C

Plus d'informations sur Testwell CTC++.
Request a demo

Reconnu par l'industrie

Utilisé dans le monde entier par les principales entreprises de l'aérospatiale et de la défense

Des centaines d'entreprises dans le monde entier font confiance aux solutions de Verifysoft pour améliorer la qualité et la sécurité de leurs logiciels - en particulier dans des secteurs très réglementés tels que l'aérospatiale et la défense.