MathWorks annonce qu’avec la Release 2012b (R2012b), les ingénieurs qui utilisent le kit de qualification DO peuvent qualifier les outils de vérification Polyspace et Simulink pour la DO-178C et les suppléments, dont la DO-331. Grâce à cette prise en charge DO-178C, les responsables de programme et les autorités de certification disposent désormais d’une approche et d’un cadre normalisés et globaux pour adopter le Model-Based Design et accélérer la certification de systèmes embarqués.
« Avec les normes DO-178C et DO-331, les constructeurs et les fournisseurs d’avions peuvent sereinement profiter de la productivité, du coût et de la qualité du Model-Based Design, en sachant qu’ils peuvent certifier leurs systèmes », déclare Steve Morton, représentant des ingénieurs chez FAA. « Le processus de vérification décrit dans le kit de qualification DO correspond aux meilleures pratiques de l’industrie et aux attentes de la communauté de certification logicielle FAA, qui incluent l’indépendance de la vérification, la vérification des codes objets exécutables et l’analyse de couverture structurelle pour un code généré automatiquement ».
Dans la R2012b, le kit de qualification DO prend également en charge les produits Simulink et Polyspace pour les suppléments à la DO-178C suivants :
• DO-330 Considérations de qualification d’outils logiciels
• DO-331 Développement et Vérification basés sur les modèles
• DO-332 Technologie orientée objet et techniques associées
• DO-333 Méthodes formelles
Le kit de qualification DO fournit la documentation, les cas de test et les procédures pour aider à qualifier les outils de vérification des logiciels Simulink et Polyspace pris en charge pour les projets qui doivent satisfaire aux normes de l’aérospatiale. Le kit inclut également les plans de qualification d’outils, les exigences opérationnelles d’outils, et d’autres matériels nécessaires pour qualifier les outils de vérification logiciels (critère 2 et 3).
Les améliorations du kit de qualification DO s’appuient sur les fonctionnalités existantes DO-178 de MathWorks et comprennent notamment le service de conseils sur le déploiement du processus DO-178. Introduit en 2012, ce service de conseils forme les ingénieurs sur la norme DO-178, identifie les failles des processus actuels, fournit une feuille de route dans un cadre de processus optimisé à l’aide du Model-Based Design, et aide à déployer cette feuille de route.
Assistez au webinar pour découvrir la manière dont le kit de qualification DO prend en charge le cycle de vie complet de vérification et de développement du logiciel : Model-Based Design for DO-178 Using Tool Qualification Kits.