Avec MATLAB et Simulink, les équipes d'ingénieurs accélèrent le développement de leurs produits tout en garantissant la conformité aux exigences les plus rigoureuses des normes de sécurité telles qu'ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 62304, ISO 25119, DO-178C et DO-254.
DO Qualification Kit et IEC Certification Kit offrent des workflows de référence et des conseils qui vous permettent de répondre aux exigences des normes de sécurité tout au long de leurs modèles de processus.
Ces kits proposent des conseils sur les cas d'utilisation des méthodes et outils, que vous pouvez exploiter au niveau système, hardware et software. Ils couvrent les activités de spécification, de design, d'implémentation, de vérification et de validation. La vérification et la validation avec l'approche Model-Based Design couvrent les activités de vérification des unités logicielles jusqu'à la validation des exigences système. Grâce aux capacités de simulation de l'approche Model-Based Design, vous pouvez réaliser de façon précoce (approche Shift Left) une grande partie de ces activités de vérification et de validation avant même que l'implémentation ou le hardware destiné à la production ne soient disponibles.
Activités de conceptualisation et de développement au niveau système
Avec l'approche Model-Based Design, vous pouvez utiliser System Composer, Simulink, Simscape et les outils de vérification et de validation de Simulink pour conceptualiser, spécifier, concevoir, développer, vérifier et valider vos systèmes électriques et/ou électroniques (E/E), notamment :
- La spécification des exigences du système, en particulier les exigences de sécurité
- Le développement et la spécification de designs architecturaux avec une traçabilité ascendante vers les exigences du système et une traçabilité descendante vers les disciplines individuelles (hardware et software)
- La vérification et la validation précoces des exigences et du design des systèmes
- Le prototypage rapide du système et les tests Hardware-in-the-Loop au niveau système
Prototypage rapide de systèmes de contrôle avec Simulink Real-Time (4:50)
Activités de développement au niveau logiciel
Les ingénieurs développent des logiciels embarqués avec l'approche Model-Based Design pour répondre aux normes de certification (23:33)
- Spécification des exigences du logiciel, en particulier les exigences de sécurité
- Développement de designs d'architecture logicielle avec une traçabilité ascendante des exigences logicielles et une traçabilité descendante des éléments logiciels
- Design et implémentation d'unités logicielles avec ou sans génération automatique de code
- Design, implémentation et intégration de composants logiciels, y compris la génération automatique de code à partir de modèles de composants logiciels
- Vérification statique et dynamique des unités logicielles, des composant logiciels et du logiciel embarqué entièrement intégré
Activités de développement au niveau hardware
L'approche Model-Based Design permet aux équipes d'ingénieurs de développer des applications FPGA et ASIC conformes aux normes applicables aux dispositifs de logiques programmables, notamment les activités de design et de vérification.
Processus connexes
Outre les processus d'ingénierie, l'approche Model-Based Design offre plusieurs possibilités concernant les processus connexes.
Normes
Les liens suivants présentent des contenus spécifiques à différentes normes. Cependant, en raison des nombreux points communs entre les différentes normes de certification, vous pouvez transférer plusieurs méthodes et concepts d'une norme à l'autre avec peu ou pas de changement.
Produits clés pour se conformer aux normes de sécurité fonctionnelle :
- IEC Certification Kit (pour ISO 26262, IEC 61508 et normes connexes)
- DO Qualification Kit (pour DO 178C et normes connexes)