Service de consulting pour la certification DO-178

MathWorks Consulting Services vous aide à migrer votre processus de développement logiciel existant (qu'il soit basé sur des méthodes manuelles ou sur l'approche Model-Based Design) vers un processus qui utilise l'approche Model-Based Design pour la norme DO-178. Personnalisé en fonction de votre environnement, vos outils et votre application spécifiques, le service de consulting pour la certification DO-178 identifie les lacunes de vos processus actuels, élabore une feuille de route vers un workflow optimisé pour la norme DO-178 et utilisant l'approche Model-Based Design, et collabore avec vous pour déployer cette feuille de route. MathWorks Consulting Services vous prépare à effectuer des activités clés de modélisation, de génération de code et de qualification d'outils pour atteindre les nouveaux objectifs de la norme DO-178C et de ses documents supplémentaires DO-330 (considérations relatives à la qualification des outils logiciels), DO-331 (développement et vérification basés sur des modèles) et DO-333 (méthodes formelles).

section de turbine do-178

Le service de certification DO-178 est dispensé par des consultants MathWorks chevronnés et dont l'expérience résulte de nombreuses années passées à développer des logiciels critiques en collaboration avec des clients de l'industrie aérospatiale. MathWorks Consulting Services aide les organisations à éviter les erreurs courantes et à réduire le temps, les efforts et les coûts de développement de software critique répondant aux objectifs de la norme DO-178.

MathWorks Consulting Services collabore avec vous pour :

Effectuer les activités clés pour la conformité à la norme DO-178

  • Traçabilité des exigences
  • Tests basés sur les exigences et couverture des modèles
  • Vérification de la conformité aux normes des modèle en utilisant Simulink Model Advisor
  • Revues de code, traçabilité et analyse en utilisant les produits Simulink Code Inspector™ et Polyspace®
  • Génération de cas de test et analyse du design en utilisant Simulink Design Verifier™
  • Configuration d'outils et génération de code avec Embedded Coder®
  • Tests des algorithmes sur les cibles avec des tests Processor-in-the-Loop, notamment l'analyse de la couverture du code (par exemple, MC/DC)
  • Qualification d'outils en utilisant le DO Qualification Kit (pour DO-178)
  • Génération d'artefacts de processus nécessaires pour la conformité à la norme DO-178

Planifier et exécuter

  • Transformez le processus de développement logiciel existant de votre entreprise tout en gagnant en efficacité
  • Identifiez et mettez en œuvre une approche progressive pour réaliser des gains d'efficacité

Former votre équipe

  • Apprenez à appliquer et à exploiter pleinement l'approche Model-Based Design pour maximiser les avantages et atteindre les objectifs de la norme DO-178 et de ses suppléments
  • Devenez autonome en créant un centre d'expertise sur l'approche Model-Based Design

Les étapes suivantes

La stratégie de migration vers un processus de développement logiciel optimisé, qui utilise l'approche Model-Based Design dans un workflow pour le DO-178, varie selon l'entreprise et l'application. MathWorks Consulting Services s'appuie sur son expertise produit et son expérience dans diverses industries pour adapter le processus à vos besoins. Cela peut inclure les étapes suivantes :

  • Évaluation des processus et outils existants — Les consultants MathWorks examinent votre processus de développement logiciel actuel, vos outils, votre application, les niveaux de sécurité requis (A-E) et les documents de planification, y compris la qualification des outils.
  • Analyse des lacunes — Nos consultants effectuent une analyse des lacunes pour identifier les défis actuels, les améliorations de l'efficacité des processus, les formations, et autres recommandations pour la migration vers un framework de processus DO-178 utilisant l'approche Model-Based Design. Nous élaborons une feuille de route exploitable qui comprend une approche par étapes permettant de concrétiser les améliorations recommandées.
  • Transfert de connaissances — Nous proposons des formations afin de montrer comment l'approche Model-Based Design et sa chaîne d'outils de support peuvent être appliquées pour satisfaire les objectifs du DO-178 et de ses suppléments, en mettant en avant les bonnes pratiques tirées de nombreuses années d'expérience. Les sujets abordés peuvent inclure la manière de conduire les activités de vérification en utilisant des fonctionnalités spécifiques d'outils, ainsi que des formations sur certains sujets choisis en fonction d'une liste de besoins prioritaires.
  • Assistance pratique au déploiement — Les consultants MathWorks supportent l'implémentation du processus recommandé dans le cadre d'un projet spécifique. Nous offrons une assistance à la modélisation, la simulation, la génération de code, la vérification, la validation, la personnalisation du DO Qualification Kit, ainsi qu'aux activités de certification. Nous aidons à la préparation des documents de planification DO, tels que le PSAC, dans un contexte d’utilisation de l'approche Model-Based Design et de la génération d'artefacts de qualification d'outils DO-178 en adaptant le DO Qualification Kit.

Contactez MathWorks Consulting Services pour discuter de vos besoins spécifiques.


Raymond Estrada

Raymond Estrada est un consultant technique chevronné qui possède une expérience industrielle solide dans les domaines du guidage, de la navigation et des contrôles, ainsi que de la génération de code pour une utilisation dans un environnement HIL. Sa spécialité est l'aide aux organisations pour l'application de l'approche Model-Based Design dans le cadre du développement et du déploiement de software embarqué pour des applications critiques conformes aux normes de sécurité. Raymond est titulaire d'une licence en ingénierie aéronautique et astronautique du Massachusetts Institute of Technology et d'un master en ingénierie aérospatiale de l'Université de Californie à Los Angeles.

Articles de conférence et documents techniques connexes