DO Qualification Kit offre de la documentation, des cas de test et des procédures de test qui vous permettent de qualifier les outils de vérification logicielle Simulink et Polyspace pour des projets basés sur DO-178C, DO-278A, DO-254 et les suppléments associés. Ce kit contient les plans de qualification et les exigences opérationnelles des outils, ainsi que d'autres documents nécessaires à la qualification des outils de vérification logicielle.
Les kits de qualification d'outils sont disponibles pour des versions spécifiques des outils de vérification Simulink et Polyspace selon le document D0-330. Vous pouvez modifier les artefacts dans le kit de qualification d'outils pour votre projet spécifique et les inclure dans les packages de certification DO-178C, DO-278A et DO-254 soumis à la certification.
Certifier le logiciel d'un système avionique avec DO-178
Les conseils du kit concernant les workflows et d'autres documents vous aident dans vos processus de certification DO-178C. Utilisez ces ressources pour faciliter votre utilisation des outils logiciels Simulink et Polyspace pour les suppléments, y compris DO-330, DO-331 et DO-333.
Certifier le hardware d'un système avionique avec DO-254
DO Qualification Kit offre des conseils concernant les workflows et d'autres documents facilitant votre utilisation des outils de vérification Simulink pour démontrer la conformité à DO-254.
Qualifier des outils
Implémentez l'approche de qualification des outils spécifiée dans DO-178C en utilisant les modèles de documents, les cas de test et les procédures de test, fournis avec le kit, pour la qualification des produits Simulink et Polyspace supportés.
Ressources produits :
«Grâce à l'approche Model-Based Design, notre premier vol a été un succès. Il n'y a eu aucun problème du point de vue du contrôle ou de l'intégration. Avec Embedded Coder, la génération du code régissant le contrôle à partir de notre modèle Simulink a éliminé tous les ralentissements causés par la génération manuelle de code, ce qui a permis à l'équipe d'avoir davantage de temps à consacrer aux objectifs plus globaux du programme. »
FAQ du DO Qualification Kit (pour DO-178)
Qu'est-ce que le DO Qualification Kit (pour DO-178 et DO-254) ?
Le DO Qualification Kit est une collection de documentation, de cas de test et de procédures qui vous aide à qualifier les outils de vérification MathWorks — tels que Simulink® et les outils basés sur Polyspace® — pour des projets logiciels et matériels aéronautiques devant se conformer à des normes telles que DO 178C, DO 254 et DO 278A.
Le DO Qualification Kit est conçu pour soutenir le développement de systèmes aéronautiques conformément aux orientations utilisées par les autorités de certification, en fournissant une méthode structurée pour démontrer que les outils exécutent correctement leurs fonctions de vérification prévues et n'introduisent pas d'erreurs.
Le DO Qualification Kit fournit des artefacts de qualification pour des projets basés sur DO 178C, DO-331, DO 254 et DO 278A. Le DO Qualification Kit se concentre sur les outils de vérification et de validation MathWorks utilisés dans un flux de travail de conception basée sur des modèles, notamment les produits de vérification et de validation Simulink et les outils d'analyse statique et de test de code Polyspace. Ces outils sont utilisés pour automatiser les vérifications de modèles, l'analyse de couverture, l'exécution des tests et les contrôles de cohérence modèle-vers-code dans les flux de travail DO-178C/DO-331 et DO-254. Pour la liste détaillée et à jour des outils et fonctionnalités pris en charge, consultez la documentation du DO Qualification Kit dans l'aide produit.
Non. Le DO Qualification Kit ne « préqualifie » pas les outils. La qualification des outils doit être réalisée dans le contexte de chaque projet spécifique et de son environnement opérationnel. L'utilisateur de l'outil est en fin de compte responsable de la qualification, notamment de démontrer que l'outil est adapté à l'usage prévu et de vérifier son fonctionnement dans l'environnement installé. Le DO Qualification Kit fournit des artefacts — tels que des documents de planification, des exigences opérationnelles de l'outil, des cas de test de qualification et des rapports de test — pour soutenir cet effort de qualification spécifique au projet et réduire la quantité de documentation et de tests personnalisés que vous devez créer.
Le DO Qualification Kit vous aide à démontrer la conformité de l'utilisation des outils dans un projet DO-178C ou DO-254 en fournissant : des plans et des modèles de qualification d'outil (par exemple, du contenu lié au PSAC et au TQP pour les outils de vérification) ; des exigences opérationnelles de l'outil, des spécifications de test et des cas de test de qualification automatisés que vous pouvez exécuter dans votre environnement ; des documents de workflow qui cartographient l'utilisation de Simulink, Embedded Coder, Simulink Code Inspector, Polyspace et des outils associés aux objectifs DO-178C et DO-254. Ces artefacts sont conçus pour être intégrés à vos plans de projet, à la traçabilité et à la gestion de configuration afin que, lors d'un audit, vous puissiez montrer comment les activités de qualification des outils soutiennent les objectifs définis dans DO-178C, DO-254, DO-330 et DO-331.
Une façon typique de commencer avec le DO Qualification Kit consiste à : ouvrir l'application DO Qualification Kit et les projets d'exemple depuis MATLAB ou Simulink. Depuis l'application, vous pouvez ouvrir les projets d'exemple DO-178C et DO-254, examiner la structure du projet et explorer les artefacts fournis. Examiner les documents de workflow DO-178C et DO-254 inclus dans le kit pour comprendre comment les outils qualifiés s'intègrent à vos processus de développement système, logiciel et matériel. Adapter les plans, listes de contrôle et rapports fournis (par exemple, les plans et listes de contrôle de qualification des outils) pour les faire correspondre à votre processus de développement, aux compléments de normes et à vos plans de certification. Exécuter les cas de test de qualification fournis dans votre environnement, examiner les résultats et intégrer les preuves générées dans la gestion de configuration et l'ensemble de données de certification de votre projet. De nombreux clients du DO Qualification Kit commencent par suivre l'exemple DO-178C/DO-254 fourni, puis adaptent le workflow et les artefacts à leur propre architecture système, DAL et chaîne d'outils.
