Approche Model-Based Design pour la conformité DO-178C/DO-331

Nous contacter pour planifier la formation

Détails de la formation

Cette formation de trois jours s’adresse aux ingénieurs en développement logiciel qui utilisent les outils de vérification Simulink^® et Polyspace^® pour vérifier le code de production généré avec Embedded Coder^® afin d’obtenir la certification DO-178C. Elle suppose une connaissance préalable des principes de modélisation de Simulink et des workflows de vérification de Simulink et Polyspace. La formation se concentre sur la génération d'artefacts à l'aide des workflows pouvant être utilisés pour la certification DO. Notez que cette formation n’aborde pas les normes DO-178C et DO-331 à proprement dit, mais plutôt l’utilisation des outils de vérification Simulink^® et Polyspace^® pour démontrer la conformité à ces normes.

Jour 1 sur 3

Présentation de l'approche Model-Based Design pour la conformité DO-178C/DO-331

Objectif: Comprendre comment les workflows MathWorks permettent de supporter et respecter les objectifs des normes DO-178C et DO-331.

Présentation des cycles de vie système, software et hardware
Workflow DO-178C/DO-331 avec l'approche Model-Based Design
Conformité aux objectifs DO-178C/DO-331 avec l’approche Model-Based Design

Traçabilité des exigences

Objectif: Assurer la traçabilité d'un modèle par rapport aux exigences conformément aux normes DO-178/DO-331.

Présentation des exigences du processus DO-178C
Utilisation de Requirements Toolbox pour la traçabilité des exigences
Génération d’un rapport SDD (System Design Description)
Compatibilité avec les outils externes de spécification des exigences

Normes de modélisation pour la certification DO-178C/DO-331

Objectif: Comprendre les normes de modélisation à respecter pour la certification DO-178C/DO-331.

Normes de modélisation pour les applications DO-178C/DO-331
Normes de modélisation dans le processus de l'approche Model-Based Design
Utilisation des règles pré-packagées de Simulink Check pour les systèmes critiques

Jour 2 sur 3

Vérification des modèles

Objectif: Apprendre à vérifier les exigences logicielles à travers la simulation.

Créer des cas de test dans Simulink Test
Cas de test en entrée et options de collecte de données
Assurer la traçabilité des cas de test par rapport aux exigences
Réaliser des tests basés sur les exigences avec Simulink Test

Couverture de modèle

Objectif: Utiliser Simulink Coverage pour collecter des données de couverture de modèle.

Métriques de couverture de modèle
Couverture de modèle avec Simulink Coverage
Résolution des problèmes de couverture de modèle manquante

Exigences dérivées et vérification de conception

Objectif: Apprendre à utiliser Simulink Design Verifier pour la vérification des exigences de bas niveau.

Identifier les éléments inaccessibles avec Simulink Design Verifier
Développer des tests de bas niveau pour la couverture de modèle manquante
Génération de rapports de couverture de modèle

Jour 3 sur 3

Vérification et traçabilité du code par rapport au modèle

Objectif: Utiliser Simulink Code Inspector pour démontrer l'équivalence structurelle et algorithmique entre un modèle et le code généré par celui-ci.

Présentation de l'inspection de code
Compatibilité du modèle pour Simulink Code Inspector
Vérification de la traçabilité du code par rapport au modèle

Analyse statique et vérification formelle du code

Objectif: Démontrer que le code généré est conforme aux règles de codage et résistant à diverses erreurs run-time.

Présentation des outils Polyspace
Exécuter des analyses Polyspace depuis Simulink
Vérifier le respect des règles de codage avec Polyspace Bug Finder
Démontrer la robustesse du code avec Polyspace Code Prover
Démontrer le contrôle et la couverture du couplage de données avec Polyspace Code Prover

Vérification du code par rapport aux exigences logicielles

Objectif: Utiliser Simulink Test pour démontrer la couverture complète du code avec des cas de test des exigences logicielles et vérifier ces exigences sur le hardware cible.

Présentation des modes Software-in-the-Loop et Processor-in-the-Loop
Tester le code objet exécutable par rapport aux exigences de haut niveau
Collecter la couverture de code

Qualification des outils

Objectif: Utiliser DO Qualification Kit afin de qualifier les produits et fonctionnalités MathWorks pour la certification DO-178C.

Exigences de qualification des outils
Présentation de DO Qualification Kit
Exemple de qualification d'outil
Outils qualifiables et crédits acquis
Personnalisation de DO Qualification Kit

Niveau: Avancé

Pré-requis:

Fondamentaux Simulink (ou Fondamentaux Simulink pour les applications aérospatiales), Gestion et architecture des modèles Simulink et Tests de modèles Simulink. Connaissance de la norme DO-178C et de son supplément DO-331 pour le développement logiciel basé sur des modèles. Selon les besoins : Modélisation de systèmes logiques avec Stateflow, Vérification de conception avec Simulink, Embedded Coder pour la génération de code de production et Polyspace pour la vérification de code C/C++.

Durée: 3 jour

Nous contacter pour planifier la formation

Formations associées

Embedded Coder pour la Génération de Code de Production

Développez des modèles Simulink pour les déployer dans des systèmes embarqués. Les thèmes abordés comprennent la structure et l'exécution du code, les options de génération de code et les optimisations possibles, ainsi que le déploiement du code sur du hardware cible.

Polyspace pour la vérification de code C/C++

Prouvez la conformité du code, révisez et comprenez les résultats des vérifications, gérez les fonctions et les données manquantes, mesurez les métriques de qualité logicielle et appliquez les règles MISRA C.

Gestion et Architecture des Modèles Simulink

Architecturez et gérez efficacement des modèles Simulink. Les thèmes abordés comprennent l'intégration des exigences, la gestion de version, l'application des normes de modélisation et la génération de rapports.