Approche Model-Based Design appliquée à la norme ISO 26262

Jour 1 sur 5

Présentation de la norme ISO 26262 et de l'approche Model-Based Design

Objectif: Avoir une connaissance générale de la norme ISO 26262 et de son rôle dans l'industrie automobile. Discuter de l'implication et du niveau de support de MathWorks dans le cadre de cette norme.

• Norme ISO 26262
• Présentation de l’approche Model-Based Design
• Workflow de référence

Gestion de projet

Objectif: Organiser les fichiers de projet (modèles, données, documentation). Se familiariser avec l’environnement de projet.

• Configuration du projet
• Raccourcis et étiquettes des fichiers
• Analyse des dépendances des fichiers

Création de modèle

Objectif: Créer et simuler un modèle Simulink pour le développement d’algorithmes. Gérer les données de modèle avec des dictionnaires de données.

• Environnement Simulink
• Modèles à temps discret
• Pas d’échantillonnage
• Simulation du modèle et analyse des résultats
• Dictionnaire de données
• Sélection d’un solveur

Conformité des modèles

Objectif: Découvrir comment mettre en place et appliquer des normes de modélisation et vérifier les erreurs de modélisation courantes.

• Normes de modélisation
• Vérifications pendant l’édition
• Model Advisor
• Génération de rapports de résultats

Jour 2 sur 5

Gestion des exigences

Objectif: Lier un modèle Simulink aux exigences logicielles.

• Ensembles d’exigences
• Importation des exigences
• Lier des exigences

Vérification des unités logicielles

Objectif: Créer des jeux de tests séquentiels et temporels pour des modèles Simulink.

• Les types de vérifications
• Détection des erreurs de conception
• Création d’un harnais de test
• Entrées des tests
• Logique des tests
• Analyse des résultats basée sur les exigences

Génération de code pour une unité logicielle

Objectif: Générer du code pour une unité logicielle. Personnaliser le code généré pour optimiser le stockage des données et l’exécution.

• Génération de code pour une fonction step
• Prototypes de fonctions
• Optimisation du stockage des données
• Types de données et Storage Classes
• Data objects
• Modèles de fonction

Jour 3 sur 5

Sous-systèmes

Objectif: Créer un partitionnement fonctionnel d’une unité logicielle avec des sous-systèmes. Packager les sous-systèmes dans des blocs de bibliothèque pour les réutiliser. Créer des partitions dans le code généré.

• Sous-systèmes
• Sous-systèmes de variants
• Références des sous-systèmes
• Masques
• Bibliothèques
• Génération de code pour un sous-système

Modélisation à fréquences échantillonnage multiples

Objectif: Découvrir l’approche de modélisation basée sur la fréquence d’échantillonnage et par fonction d’exportation. Gérer la transition entre les fréquences d’échantillonnage.

• Exécution de blocs
• Systèmes à échantillonnage simple
• Systèmes à fréquences échantillonnage multiples
• Transitions de fréquences d'échantillonnage
• Modèles de fonction d’exportation

Modélisation d’architectures

Objectif: Créer un modèle d’architecture logicielle avec System Composer. Analyser l’architecture logicielle et la lier à un modèle comportemental.

• Modèle d’architecture
• Profils et stéréotypes
• Interface Editor
• Vues
• Lien avec un modèle comportemental

Jour 4 sur 5

Intégration du système

Objectif: Organiser les unités logicielles dans un modèle d’intégration avec le référencement de modèle. Configurer les paramètres du modèle et les dictionnaires de données pour pouvoir les partager avec différents modèles à l’étape d’intégration.

• Considérations sur les composants du système
• Références des modèles
• Dictionnaires de données référencés
• Configurations référencées
  
• Génération de code pour le modèle d’intégration
• Espace de travail des modèles

Tests In-the-Loop

Objectif: Tester et vérifier le code généré à l’aide de techniques de test In-the-Loop.

• Test en mode Software-in-the-Loop
• Profilage du code
• Tests du logiciel venant d’un modèle référencé
• Test en mode Processor-in-the-Loop

Automatisation de la vérification

Objectif: Créer des groupes de jeux de tests et générer automatiquement un rapport à partir des résultats.

• Fichiers de test
• Couverture de modèle
• Couverture de code
• Génération automatique de tests
• Génération de rapports de résultats de test

Jour 5 sur 5

Vérification du code

Objectif: Effectuer une analyse statique du code généré pour s'assurer que le code est conforme à la norme MISRA C:2012.

• Vérification du code avec Polyspace Bug Finder
• Conformité du software à la norme MISRA C:2012
• Métriques de code

Génération de rapports

Objectif: Discuter des méthodes de création automatique de rapports et de documentation à partir de modèles Simulink. Passer en revue les méthodes de gestion de la configuration dans l’environnement de projet.

• Tableau de bord pour les tests sur les modèles
• Vue web du modèle
• Rapports standards
• Intégration avec les outils de gestion de versions
• Comparaison de fichiers

Qualification des outils

Objectif: Utiliser l’IEC Certification Kit (for ISO 26262 and IEC 61508) afin de qualifier les outils MathWorks conformément à la norme ISO 26262

• Qualification des outils
• IEC Certification Kit (for ISO 26262 and IEC 61508)

Étude de cas

Objectif: Appliquer l’approche Model-Based Design pour implémenter un algorithme de contrôle afin de démontrer le workflow de référence.