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.