MATLAB, Simulink et Polyspace vous aident à protéger vos systèmes et vos données contre les événements externes indésirables. Vous pouvez utiliser ces produits dans le cadre de vos pratiques de cybersécurité afin d’empêcher que les attaques opérationnelles, financières, de sécurité et de confidentialité affectent les utilisateurs de votre système.
Avec MATLAB, Simulink et Polyspace, vous pouvez concevoir et maintenir des systèmes embarqués sécurisés. Vous pouvez :
- Intégrer la sécurité dans votre système
- Contrôler l’efficacité de votre architecture de sécurité
- Identifier les vulnérabilités potentielles au début du cycle de vie du développement logiciel
- Utiliser des méthodes analytiques pour accroître la confiance dans votre design
- Détecter les attaques sur votre système
- Développer des mises à jour en réponse à de nouvelles menaces
Élaborer des systèmes sécurisés avec MATLAB, Simulink et Polyspace
Gérer les objectifs de cybersécurité avec une traçabilité complète
Définissez votre architecture de sécurité au niveau système, et attribuez vos objectifs de sécurité. Créez et gérez les exigences conjointement avec votre architecture, vos designs, votre code généré et vos artefacts de test. Le lien numérique vous permet de préserver la cohérence de votre design, d'identifier les lacunes en matière d'implémentation ou de tests, et d'obtenir une traçabilité complète, des exigences de haut niveau à l'implémentation. Comprenez rapidement l’impact d’un changement de design et générez des rapports de vérification et de validation pour les audits.
Explorer nos produits
Sécuriser la modélisation et la génération de code
Effectuez des contrôles précoces sur votre modèle pour éviter les blocs qui sont en conflit avec les objectifs de sécurité et configurez le générateur de code pour obtenir des niveaux de conformité maximaux. Trouvez et corrigez les vulnérabilités, avant que le code ne soit généré, grâce aux méthodes formelles. Déployez et mettez à jour votre implémentation avec une génération de code efficace et sécurisée.
Explorer nos produits
Analyser votre code pour détecter les vulnérabilités et les problèmes de conformité
Évaluez la sécurité de votre code source C/C++ sans avoir à reposer sur des experts humains et des revues de code. Grâce au SAST (Static Application Security Testing), les développeurs peuvent contrôler la conformité aux dernières normes de codage sécurisé (CERT® C et CERT C++) et éviter les modèles faibles (CWE) tôt dans le cycle de vie des logiciels. Les contrôles de sécurité étendus permettent de repérer les données altérées, l’utilisation incorrecte des bibliothèques cryptographiques et les problèmes de confidentialité. Analysez la robustesse de vos logiciels et prouvez l’absence de vulnérabilités critiques grâce à une analyse de code basée sur des méthodes formelles.
Explorer nos produits
Identifier et évaluer les vulnérabilités
Modélisez et simulez des attaques sur votre système sans avoir besoin du hardware. Combinez le Reinforcement Learning et les jumeaux numériques pour générer des attaques contre votre système et identifier les vulnérabilités. Identifiez les fonctionnalités affectées avec Model Slicer. Exécutez des tests automatiques Hardware-in-the-Loop (HIL) pour observer les effets d’entrées spécifiques sur votre système.
Explorer nos produits
Détecter les attaques sur votre système embarqué
Découvrez comment appliquer le Machine Learning pour implémenter un système de détection des intrusions contre l’usurpation d’identité. Protégez vos boucles de contrôle contre les attaques par rejeu et les attaques de l'homme du milieu avec le tatouage numérique distribué. Identifiez et détournez les attaques de réseau avec l'algèbre linéaire et le Machine Learning.
Explorer nos produits
Ajouter des contre-mesures
Prévenez et atténuez les vulnérabilités restantes grâce à un design robuste, à des mécanismes de détection innovants et à des contrôles de sécurité. Implémentez une estimation de l’état de sécurité pour renforcer la résilience contre les attaques par usurpation d'identité sur les entrées de votre système. Exploitez les réseaux de neurones pour améliorer la robustesse des algorithmes de classification d’images contre les attaques.
Explorer nos produits
Conformité aux normes de l'industrie
Automatisez la vérification des modèles et du code pour répondre aux exigences des normes de cybersécurité telles qu'ISO/SAE 21434, IEC 62443 et DO-326. L'IEC Certification Kit donne un aperçu de la manière d'appliquer MATLAB, Simulink, Polyspace et les produits supplémentaires à la norme ISO/SAE 21434, en plus des normes de sécurité fonctionnelle (ISO26262, IEC 61508). Le kit vous aide à construire et à qualifier votre processus de développement, pour des systèmes embarqués sûrs et sécurisés.
Automatiser les contrôles de sécurité
Automatisez vos processus pour garantir des contrôles de sécurité cohérents et efficaces tout au long du développement et des opérations. Mettez en place un pipeline d’intégration continue (CI) pour vos modèles afin de tester automatiquement les modifications et de générer un code sécurisé. Analysez fréquemment votre base de code à la recherche de vulnérabilités, à chaque commit, et générez des rapports de conformité.
Explorer nos produits
En savoir plus
Vous avez des questions ?
Adressez-vous à un spécialiste de la sécurité des systèmes embarqués.
