Nouvelle évolution MathWorks : le Model-Based Design pour la norme DO-178C

Mise à jour du kit de qualification DO pour qualifier les outils de vérification Simulink et Polyspace

Meudon, France - (11 décembre 2012)

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.

À propos de MathWorks

MathWorks est le leader du développement de logiciels de calcul mathématique. MATLAB, langage pour le calcul scientifique, est un environnement de programmation pour le développement d’algorithmes, l’analyse des données, leur visualisation et le calcul numérique. Simulink est un environnement graphique de simulation et de conception par modélisation destiné aux systèmes dynamiques et embarqués multi-domaines. Les ingénieurs et les scientifiques du monde entier utilisent ces familles de produits pour accélérer le rythme de la recherche, de l’innovation et du développement dans de nombreux secteurs, dont l’automobile, l’aérospatial, l’électronique, la finance, la biotechnologie et l’industrie pharmaceutique. Les produits MathWorks constituent également des outils essentiels pour l’enseignement et la recherche dans les universités et les établissements d’enseignement du monde entier. Fondée en 1984, la société MathWorks emploie plus de 2400 personnes dans 15 pays. Son siège est implanté à Natick (Massachusetts) aux États-Unis. Pour de plus amples informations, visitez le site fr.mathworks.com.

MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.