VectorCAST et la qualification d'outils de test en vertu de la norme RTCA/DO-178B
Introduction
Le document DO-178B de la Requirements and Technical Concepts for Aviation (RTCA) indique que la qualification d'un outil
logiciel est nécessaire quand des activités prescrites par la DO-178B sont éliminées, réduites ou automatisées par cet outil sans
que le résultat qu'il génère ne soit contre-vérifié. VectorCAST répond à la norme DO-178B en ce qui a trait à l'automatisation de la vérification logicielle. La qualification d'un outil de vérification est mandaté par la section 12.2.2 de la DO-178B, et doit être fait indépendamment pour chaque projet. Les données de qualification sont produites sous la supervision de l'autorité de certification et du Designated Engineering Representative (DER).
La responsabilité pour la qualification d'outils de vérification tels que VectorCAST est d'ordinaire un effort conjoint entre le contracteur principal et le vendeur de l'outil en question. Une catégorisation des conditions de défaillance possibles est établie sur la base d'une évaluation de la sécurité du système. Ces défaillances possibles déterminent le niveau d'intégrité à atteindre afin de pouvoir opérer l'aéronef en toute sécurité. La norme DO-178B comporte cinq niveaux de risque liés à une faute logicielle pouvant contribuer à une défaillance d'une des fonctions du système. Le tableau suivant montrent les relations qui existent entre la catégorie des conditions de défaillance et les exigences de la DO-178B en ce qui a trait au test de couverture structurelle.
Niveaux de risque et exigences en ce qui a trait au test de couverture structurelle
Comment VectorCAST vous aide à réaliser les tests de couverture structurelle
En plus de fournir l'analyse structurelle requise par la DO-178B, VectorCAST vous fournit également les fonctionalités suivantes:
- Génération et compilation automatique des bouchons et des pilotes de test
- Jeux de test basés sur les valeurs maximales, médianes et minimales, ainsi que sur des incrémentations fixes de la valeur des variables entrantes basées sur un intervalle de valeurs
- Création de jeux de tests grâce à une interface graphique facile d'utilisation ou via des scripts
- Modification de jeux de test existants et ré-exécution de ceux-ci sans recompilation nécessaire
- Tests de non-régression automatiques
- Génération automatique de rapports de test
- Analyse des chemins de décision (Basis path analysis) et calcul de la complexité cyclomatique
- Exécution des tests sur hôte et sur cible embarquée
Kit de qualification VectorCAST
Afin de qualifier les outils VectorCAST, Vector Software peut fournir à ses clients la documentation suivante. Cette documentation est spécifique à chaque projet où les outils seront utilisé:
Document sur les exigences opérationnelles de l'outil (Tool Operational Requirements (TOR)):
- Les fonctionalités de l'outil sous forme d'exigences vérifiables
- Environnement opérationnel du projet
- Détails de la gestion de la configuration
- Méthodes utilisées afin de démontrer que VectorCAST a rempli les exigences décrites dans le document
Document sur la qualification de l'outil (Tool Qualification Document (TQD)):
- Données et résultats des tests de qualification
La qualification des outils nécessite normalement une interraction avec l'utilisateur et le représentant de l'autorité de certification et/ou DER.
Délivrance d'un kit de qualification
- Vector Software livre au client une version préliminaire des documents et demande l'approbation du client.
- Vector Software effectue les changements aux documents et aux tests associés si nécessaire.
- Vector Software exécute la suite de tests de qualification en utilisant le même compilateur et la même version de l'outil que celle utilisée par le client.
- Vector Software livre la version 1.0 du TQD pour approbation finale.
- La livraison finale contient tous les scripts de test nécessaires afin que le client puisse ré-exécuter tous les tests lui-même s'il le désire.
Projets de développement récents qui ont utilisé VectorCAST afin de satisfaire à la norme DO-178B
Projets récents qui ont utilisé le kit de qualification Vector Software:
- Système de protection du rotor contre la glace (RIPS) pour l'hélicoptère Sikorsky S-92
- Système de contrôle de la pressurisation de la cabine pour l'A380
- Système d'évitement des collisions
- Boeing 777 LR
- Les systèmes de ravitaillement, de proximité et de servo-direction F/D 728
- L'hélicoptère léger multirôles Agusta A109
Plus d'information sur la DO-178B
Pour de plus amples informations sur la sécurité informatique en aviation, nous vous recommandons les lectures suivantes:
- FAA Aircraft Certification Products and Services (en anglais)
- FAA Certification Authorities Software Team (CAST) (en anglais)
- FAA Notice 8110.49, "Software Approval Guidelines," (June 2003) (en anglais)