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 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. Grâce au kit, vous pouvez rationaliser la certification des systèmes embarqués développés à l'aide de workflows Model-Based Design avec les produits Simulink supportés. En utilisant ce kit avec les produits Polyspace, vous pouvez rationaliser la certification des systèmes embarqués qui utilisent des workflows traditionnels ou l'approche Model-Based Design.
DO Qualification Kit vous permet également de qualifier les outils de vérification de modèles Simulink pour des projets basés sur DO-254. Les outils de vérification de code Simulink Code Inspector et Polyspace ne supportent pas le code HDL et ne sont donc pas applicables à DO-254.
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 « Software Tool Qualification Considerations ». 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. »
