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 connaissons les normes de certification telles que MISRA-C 2004, 2012 et 2023, MISRA-C++ 2023 ou ICAO ADS-B.
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 qualifié divers outils de travail selon les normes suivantes :
Disponible !
MISRA C 2004 MISRA C 2012 MISRA C 2023
En cours de développement...
Prévu pour juin 2025...
MISRA C++ 2023
Outils propriétaires
Nous avons qualifié plusieurs outils propriétaires selon les normes suivantes :
Disponible !
Pour la surveillance des messages ADS-B. Nous prenons en charge les messages de l'OACI au format DF-0 à DF-24 (annexe 10, volume 4).
En cours de développement...
Surveillance des messages ADS-B Asterix. Prise en charge des catégories suivantes :
- CAT 001 (version 1.4)
- CAT 002 (version 1.1)
- CAT 004 (version 1.13)
- CAT 008 (version 1.3)
- CAT 010 (version 1.1, 4)
- CAT 017 (version 1.3)
- CAT 018 (version 1.8)
- CAT 021 (versions 0.23, 1.8, 2.2, 2.3, 2.4, 2.6)
- CAT 022 (version 0.10)
- CAT 023 (version 1.2, 1.3)
- CAT 025 (version 1.5)
- CAT 034 (version 1.29)
- CAT 048 (version 1.31)
- CAT 063 (version 1.6)
- CAT 065 (version 1.6)
- CAT 240 (version 1.3)
- CAT 247 (version 1.3)
