Aérospatial et Défense

Les logiciels critiques dans les domaines de l'aérospatiale et de la défense doivent être développés avec la plus haute qualité. Les obligations concernant les normes pour la sûreté et la sécurité ne cessent d'augmenter. La norme DO-178C a des exigences strictes concernant la vérification et la validation des logiciels dans l'industrie aérospatial. Les normes de sécurité ont également été adoptées dans d'autres domaines critiques tels que la défense, même si les certifications ne sont pas encore obligatoires.

Selon les niveaux de criticité, la norme DO-178 exige une couverture de code jusqu'à la couverture de Condition Modifiée/Décision Modifiée (MC/DC).

Le respect de la norme DO-178 implique de répondre à de nombreuses exigences. L'analyse statique peut être utilisée dans le cadre d'une garantie de compréhension globale.

Répondre aux exigences de couverture du code de la DO178-C avec Testwell CTC++ outil de couverture de code

Selon les conséquences possibles sur l'avion, l'équipage et les passagers, la DO-178C distingue différents niveaux de criticité des logiciels, également appelés "Design Assurance Level" (DAL) ou "Item Development Assurance Level" (IDAL).
La norme DO-178C requiert l'atteinte des niveaux de couverture de code ci-dessous:

• DAL A: Couverture de Condition modifiée/Décision Modifiée (MC/DC)
• DAL B: Couverture de Décision/Couverture de Condition
• DAL C: Couverture d'Instructions

Testwell CTC++ outil de couverture de code couvre tous les niveaux de couverture exigés par la DO-178C.
Il montre la Couverture d'Instructions, de Décision/Condition, de Condition Modifiée/Décision modifiée (MC/DC) et même de Couverture de Condition multiple (qui est d'un niveau supérieur à la couverture MC/DC).

Testwell CTC++ est un outil pour C, C++, Java et C# intuitif et facile à utiliser, qui délivre des rapports d'analyses clairs et simples.
L'outil a un coût d'instrumentation très bas. Il peut être utilisé avec tous les compilateurs et toutes les cibles embarquées, même les plus petites.

Testwell CTC++ est certifié par le TÜV Süd pour de nombreuses normes de sécurité. Avec le "safety package", nous offrons des documents supplémentaires tels qu'un manuel de sécurité et l'accès à la liste des bogues connus.
En ce qui concerne la norme DO-178C, notre équipe (en coopération avec des spécialistes externes) vous offre le soutien nécessaire pour une qualification réussie et efficace de l'outil.

En savoir plus sur Testwell CTC++

Notre solution d'analyse statique

TiCS est une solution de supervision de la qualité du code source, conçue pour les environnements de développement multi-technologies, multi-projets et multi-sites.

TiCS permet de :
✅ Centraliser les mesures de qualité sur l’ensemble du code (C/C++, Java, C#, etc.),
✅ Unifier les outils d’analyse (Coverity, Parasoft C++Test, BlackDuck, MISRA, Cyclomatique, duplication, couverture,…) dans une interface unique,
✅ Automatiser les contrôles qualité dans la chaîne CI/CD,
✅ Assurer la traçabilité et la conformité aux normes (ISO 26262, DO-178C, IEC 61508, etc.),
✅ Suivre l’évolution de la qualité dans le temps via des tableaux de bord clairs et auditables.

Webinaires et séminaires intra entreprise

Les développeurs et managers de logiciels critiques ont besoin des meilleures connaissances afin de développer et de fournir un excellent logiciel.
Verifysoft vous soutient avec ses webinaires et ses formations intra entreprise.

Des centaines d'entreprises et d'organisations améliorent la qualité de leurs logiciels grâce à nos outils de test

Les solutions de Verifysoft ont démontré leur succès dans le développement de logiciels critiques pour la sûreté et la sécurité dans les secteurs de l'aérospatiale et de la défense.

Parmi nos clients satisfaits:





Ce que nos clients dans les secteurs de l'aérospatial et de la défense disent au sujet de nos outils :



Opinion: Future Digitalization of the Aviation Industry Calls for Increased Testing by Svend Holme Sørensen (GateHouse SatCom) and Klaus Lambertz (Verifysoft Technology)