Suite de qualification des outils selon DO-330, ISO-26262
Applicable à
DO-178B, DO-178C / ED-12B, ED-12C / DO-278A / ED-109A
Quelle est la qualification des outils de vérification des logiciels ?
Nous offrons la possibilité de qualifier nos propres outils de vérification ou des outils commerciaux. Nous soumettons l'outil à une multitude de cas de test et fournissons un rapport détaillé avec les résultats et leur analyse. En plus des cas de test, nous offrons la possibilité d'ajouter, de personnaliser ou de supprimer des cas de test en fonction des besoins du client. La documentation de qualification est fournie avec la suite de tests.
Nous établissons un contact étroit avec nos clients et les guidons tout au long du processus de qualification. Notre soutien dans l'exécution des cas de test est particulièrement important.
Ce que nous proposons
Création de cas de test sur mesure
Nous étudions la fonctionnalité de l'outil qui intéresse le client et concevons les cas de test appropriés.
Nous proposons un outil flexible, dans lequel de nouveaux cas de test personnalisés peuvent être facilement incorporés.
Nous fournissons la documentation de qualification
Il comprend deux documents principaux :
- les exigences opérationnelles de l'outil (TOR), qui décrivent les exigences auxquelles l'outil doit répondre.
- Cas et procédures de vérification et de validation opérationnelles de l'outil (TOVVCP), y compris une description détaillée des cas de test
Certification selon différentes normes et langages de programmation
Nous maîtrisons les normes de certification telles que MISRA-C 2004, 2012 et 2023, MISRA-C++ 2023,ADS-B de l'OACI et ASTERIX.
Nous avons travaillé avec des outils basés sur C, C++ et LUA.
Service d'appui et de conseil
Nous offrons un soutien pour la mise en œuvre et l'utilisation de notre outil. En outre, nous offrons des conseils sur le développement correct de l'outil afin d'assurer sa conformité à la norme.
Maintenance pendant le développement
Nous accompagnons nos clients dans le développement de leur outil propriétaire, en fournissant des versions successives de la suite de qualification afin de s'adapter à leurs besoins à tout moment.
Comment nous procédons
Produits à livrer
Plan de qualification des outils (PQO)
Plan de qualification des outils
Exigences opérationnelles de l'outil (TOR)
Spécification des exigences opérationnelles
Cas et procédures de vérification et de validation opérationnelles des outils (TOVVCP)
- Spécification des cas de test
- Fichiers de configuration contenant les cas de test : permettent d'ajouter de nouveaux cas de test.
La suite de qualification
Outil basé sur un script Python qui exécute les cas de test et génère plusieurs rapports détaillés des résultats.
- Code Python
- Fichiers de configuration
Index de configuration des outils
Identification et configuration des outils
Résumé des réalisations de l'outil
Différences entre le plan de qualification et la qualification réalisée
Outils commerciaux d'analyse statique du code source
Nous avons évalué divers outils commerciaux selon les normes suivantes :
Disponible ! | PC-lint Plus, CppCheck Premium, Understand
MISRA C 2004
MISRA C 2012
MISRA C 2023
MISRA C++ 2023
Outils de surveillance du trafic réseau
Nous avons qualifié plusieurs outils propriétaires selon les normes suivantes :
Disponible ! | Plug-in Wireshark LUA
Surveillance des messages ADS-B. Nous prenons en charge les messages de liaison descendante au format DF-0 à DF-24 de l'OACI.
Disponible ! | Wireshark
Suivi des messages ASTERIX. Nous prenons en charge les messages ASTERIX de l'OACI, de la catégorie 001 à 247.
Projets actuels
Outil SnmpB, un explorateur de MIB SNMP avec interface graphique.
