DO Qualification Kit (pour DO-178 et DO-254)

 

DO Qualification Kit (pour DO-178 et DO-254)

Qualifier les outils de vérification Simulink et Polyspace pour DO-178, DO-278 et DO-254

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.

Vous souhaitez en savoir plus sur le produit  DO Qualification Kit ?