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. La norme 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.
MATLAB, Simulink, Stateflow, Embedded Coder, les outils de vérification de modèle de MATLAB et 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. Les qualifications sont basées sur un workflow de vérification automatisé et 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++.
HDL Coder est également certifié par le TÜV SÜD comme compatible avec le développement de produits critiques à tous les niveaux ASIL. HDL Coder génère du code VHDL et Verilog lisible et traçable qui peut être utilisé dans toute carte SoC, FPGA et ASIC. Il travaille en étroite collaboration avec HDL Verifier pour générer des test benches afin de réaliser des tests comparatifs sur des cartes FPGA et dans des simulateurs HDL.
La documentation du workflow, 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). Ce kit propose des workflows et des artefacts vous permettant de vous conformer à la norme ISO 26262 et de le prouver. Le TÜV SÜD effectue en outre des audits annuels des processus de développement de logiciels et d'ingénierie de la qualité pour les outils supportés par l'IEC Certification Kit.
« Sans l’approche 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 termes de vitesse et de mémoire. »
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 :
- IEC Certification Kit (for ISO 26262 and IEC 61508)
- MATLAB
- Simulink
- Stateflow
- Embedded Coder
- System Composer
- Simulink Check
- Simulink Coverage
- Requirements Toolbox
- Simulink Report Generator
- Simulink Design Verifier
- MATLAB Test
- Simulink Test
- Polyspace Bug Finder
- Polyspace Code Prover
- Polyspace Test
- AUTOSAR Blockset
- HDL Coder
En savoir plus sur le support MathWorks pour l’ISO 26262 :
- Communiqué de presse : Le kit de certification IEC 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 l'approche Model-Based Design
- Témoignage d'utilisateur : Kostal obtient la certification ASIL D ISO 26262 avec le Model-Based Design
- Webinar : Code optimisé pour MCU TI Hercules depuis Simulink pour IEC 61508 et ISO 26262 (45:06)
- Webinar : Respect de la norme ISO 26262 grâce à des outils de développement préqualifiés et un workflow fiable et efficace (42:27)
- Service de consulting : Déploiement du processus ISO 26262
- Article : Comment utiliser Simulink pour vos 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)
- Vidéo : Workflow ASIC et FPGA pour l'ISO 26262 et l'IEC 61508 (3:06)
- Livre blanc : 5 pièges à éviter lors de la mise en conformité avec la norme ISO 26262
- Document SAE : Le Model-Based Design pour les applications de sécurité
- Document SAE : Workflow de vérification et de validation pour les applications conformes à l'IEC 61508
- Document MBEES : Qualification d'outils logiciels conformément à l'ISO 26262
- Document présenté à l'ERTS : Vérification et validation conformément à l'ISO 26262
- Guide : 10 bonnes pratiques pour le déploiement d’AUTOSAR avec Simulink
- Ressources : Automatisation de la vérification et validation avec Simulink
- Webinar : MCU TI C2000 et MathWorks Simulink pour IEC 61508 et ISO 26262
- Article : Workflow ISO 26262 pour les applications de conduite autonome avec MATLAB : directives et bonnes pratiques
Dites-nous quels sont vos besoins.
Contactez-nous pour une évaluation personnalisée et obtenez un devis correspondant à vos besoins.
