Support de l’ISO 26262 dans MATLAB et Simulink
Le développement de systèmes critiques dans l'industrie automobile implique de démontrer la conformité à l'ISO® 26262, une norme internationale sur la sécurité fonctionnelle des véhicules routiers. L’ISO 26262 classifie les fonctions en niveaux d'intégrité de sécurité automobile (ASIL) allant de A à D (de la moins stricte à la plus stricte). Les OEM et les équipementiers Tier-1 adaptent leurs processus de développement d'ECU pour utiliser le Model-Based Design avec la norme ISO 26262.
Embedded Coder®, les outils de vérification de modèle de Simulink® et les outils de vérification de code de Polyspace® sont certifiés par le TÜV SÜD en tant qu’outils qualifiés pour la norme ISO 26262 pour les niveaux ASIL A à D. Ces qualifications sont basées sur un processus de vérification automatisé spécifique à l’application. Ce processus supporte le test de modèles et de code back-to-back, comme le recommande fortement la norme ISO 26262-6 pour les niveaux ASIL C et D, à l'aide du mode de simulation PIL (Processor-In-the-Loop) dans Simulink. Les ingénieurs peuvent ainsi tirer parti des optimisations au niveau du codeur et du compilateur, notamment le code spécifique au processeur généré par Embedded Coder, pour produire le logiciel rapide et efficace en mémoire nécessaire à la production en série des ECU. En plus de la génération de code C, les cas d'utilisation de la qualification de l'outil Embedded Coder pour l’ISO 26262 incluent ses fonctionnalités de génération de code AUTOSAR et C++.
La documentation des processus de développement, les certificats et rapports du TÜV SÜD, les suites de tests et autres artefacts de certification sont fournis dans l’IEC Certification Kit (for ISO 26262 and IEC 61508).
« Sans le Model-Based Design, il nous aurait fallu au moins 30 % de temps supplémentaire pour développer et certifier le logiciel d'application ESCL. Nous avons économisé du temps et des efforts en générant un code efficace qui satisfaisait toutes nos exigences en matière de vitesse et de mémoire. »
Cheng Hui, responsable plateforme et process, KOSTAL
La norme ISO 26262:2018 indique que Simulink et Stateflow peuvent être utilisés pour les notations de l'architecture logicielle et du design d'unités logicielles, et qu'ils peuvent servir de base pour la génération automatique de code.
Utiliser MATLAB pour l’ISO 26262
Les produits clés pour développer des applications conformes à l’ISO 26262 :
En savoir plus sur le support MathWorks pour l’ISO 26262
- Communiqué de presse : L’IEC Certification Kit de MathWorks est compatible avec la deuxième version de la norme ISO 26262
- Article technique : LG Chem - Développer du logiciel conforme à AUTOSAR pour un système de gestion de batterie pour véhicule hybride avec le Model-Based Design
- Témoignage d'utilisateur : Kostal obtient la certification ASIL D ISO 26262 avec le Model-Based Design
- Webinar : Génération de code optimisé pour le microcontrôleur Hercules de Texas Instruments dans Simulink pour l’IEC 61508 et l’ISO 26262
- Webinar : Satisfaire la norme ISO 26262 avec des outils de développement pré-qualifiés dans le cadre d'un processus robuste et efficace
- Service de conseils : Déploiement du processus ISO 26262
- Article : Comment utiliser Simulink pour les projets ISO 26262
- Vidéo : Vérification en cours d'édition pour identifier les problèmes de conformité de manière précoce (1:28)
- Video: Workflow ASIC et FPGA pour les normes ISO 26262 et IEC 61508 (3:06)
- Papier SAE : Le Model-Based Design pour les applications de sécurité
- Papier SAE : Un processus de vérification et de validation pour les applications conformes à l'IEC 61508
- Papier MBEES : Qualifier des outils logiciels conformément à l'ISO 26262
- Papier ERTS : Vérification et validation conformément à l'ISO 26262
- Papier ERTS : Objectifs de qualité de modèles pour le développement de logiciels embarqués avec MATLAB et Simulink (Renault, PSA, Valeo, Delphi)
- Guide : 10 bonnes pratiques pour le déploiement d’AUTOSAR avec Simulink
- Ressources : Automatisation de la vérification et de la validation avec Simulink
- Webinar : MCU TI C2000 et MathWorks Simulink pour l’IEC 61508 et l’ISO 26262
- Article: Un workflow ISO 26262 pour les applications de conduite autonome utilisant MATLAB : recommandations et bonnes pratiques
Dites-nous quels sont vos besoins.
Contactez-nous pour une évaluation personnalisée et obtenez un devis correspondant à vos besoins.
