- Outil de développement de logiciels à sécurité fonctionnelle pour processeurs ARCLa suite d'outils de LDRA intégrée à l’environnement Synopsys DesignWare ARC MetaWare Development Toolkit for Safety fournit une solution de test et de validation des processeurs ARC et réduit les coûts de conformité aux normes ISO 26262, utilisées dans le monde automobile, jusqu’au niveau Asil-D. L’ensemble fournit aux développeurs une traçabilité sur l'ensemble du cycle de vie du produit, une analyse statique et dynamique du code source, des tests unitaires ainsi qu’un système de test automatisé sur l'hôte et la cible. La suite d'outils LDRA et le compilateur Synopsys DesignWare ARC Metaware pour la sécurité fonctionnelle ont été certifiés par SGS TÜV SAAR.... - Intégration des outils pour les familles de processeurs à sécurité fonctionnelle DesignWare ARC EM FS et ARC HS FS - Conformité aux normes de codage Misra, Cert et Autosar - Fourniture d’une analyse des données et des flux de contrôle - Automatisation des scénarios de test, de la génération de “stub”, de l'exécution des tests et de la production de preuves de certification - Exposition des zones à haut risque et des défauts grâce à une analyse approfondie du code
|