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.
Le kit de qualification pour Testwell CTC++ simplifie la qualification de l'outil Testwell CTC++ dans vos projets DO-178.
En savoir plus sur Testwell CTC++


Norme aérospatial DO-178C: analyse de la couverture de code avec Testwell CTC++: Voir la vidéo ici

Analyse statique

Imagix 4D est un outil pour comprendre, documenter et améliorer un code source écrit en C, C++ ou Java, qu´il soit complexe, fourni par un tiers ou bien hérité. Imagix 4D automatise l´analyse des flux de contrôle et des dépendances requis dans le point 6.3.4. de la DO-178C "Respect de l'architecture logicielle" (Compliance with software architecture). De plus, Imagix 4D détecte les problèmes dans l´utilisation des données et les interactions des tâches.
Avec Imagix 4D vous augmentez la productivité, améliorez la qualité et réduisez les risques.

L'un des objectifs mentionnés dans la DO-178C est de s'assurer que les normes du code logiciel, comme les restrictions de complexité, ont été suivies lors du développement du code.
Testwell CMT++ outil de mesure de complexité de code, analyse les métriques les plus importantes telles que le métriques de Lignes de code (LOC), les métriques d'Halstead, le nombre cyclomatique de McCabe v(G), l'index de maintenabilité et le Max ND/Maximum Nesting Depth. L'outil est très facile à utiliser, extrêmement rapide et analyse même de très grandes bases de code.

Séminaires

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 séminaires et workshops.

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. Parmis 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)