Simulink Check

NOUVEAU PRODUIT

Vérifier la conformité aux normes de modélisation

Simulink Check™ contient des métriques et des règles reconnues par l’industrie qui permettent d'identifier les violations des normes et des directives lors du développement. Les normes de développement de logiciels critiques supportées incluent les normes DO-178, ISO 26262, IEC 61508, IEC 62304 et les directives de style MathWorks Automotive Advisory Board (MAAB). Les vérifications en cours d'édition permettent d'identifier les problèmes de conformité au cours de l'édition. Vous pouvez créer des vérifications personnalisées afin de vous conformer à vos propres normes ou directives.

Simulink Check fournit des métriques telles que la taille et la complexité, que vous pouvez utiliser pour évaluer l'architecture et la conformité aux normes de votre modèle. Un nouveau tableau de bord de métriques consolidé vous permet d'évaluer l'état et la qualité du design. La refactorisation automatique du modèle vous permet de remplacer les éléments de design dupliqués, de réduire la complexité du design et d'identifier le contenu réutilisable.

Le support des normes industrielles est assurée via le IEC Certification Kit (ISO 26262 et IEC 61508) et le DO Qualification Kit (pour DO-178).

Comment utiliser Simulink pour vos projets ISO 26262


Fonctionnalités

Vérifier la qualité d’un modèle au moyen de normes

Vérifiez la conformité aux normes de modélisation à l'aide de règles préconfigurées pour les normes telles que : DO-178, ISO 26262, IEC 61508, IEC 62304, MISRA C:2012 et CERT-C.

En savoir plus

Identifier et corriger les erreurs en cours d'édition

Recevez une notification relative aux problèmes de conformité pour éviter que des violations ne surviennent à un stade précoce du développement.

En savoir plus

Configurer, personnaliser et automatiser les règles de modélisation

Développez des règles et des configurations de modélisation afin d'atteindre vos objectifs en matière de conformité et de directives.

En savoir plus

Mesurer et afficher les métriques d'un modèle

Évaluez l'état de votre projet à l'aide de métriques issues de plusieurs outils de Model-Based Design.

En savoir plus

Refactoriser les modèles pour améliorer le design et permettre la réutilisation des composants

Identifiez les clones et les motifs de modélisation pour refactoriser les modèles afin d'améliorer la réutilisation des composants.

En savoir plus

Ressources produits

Découvrez-en davantage sur Simulink Check en consultant ces ressources.

Documentation

Consultez notre documentation pour connaître les fonctions et les caractéristiques de Simulink Check, notamment les notes de version et des exemples.

Fonctions

Parcourez la liste des fonctions disponibles de Simulink Check.

Configuration système

Affichez la configuration système requise pour la dernière version de Simulink Check.

Articles techniques

Consultez les notes expliquant les avantages techniques de l’utilisation de la solution Simulink Check.

Témoignages d'utilisateurs

Découvrez comment Simulink Check accélère la recherche et le développement de votre industrie.

Communauté et soutien

Trouvez les réponses à vos questions et consultez nos ressources dédiées à la résolution des problèmes.


Essayer ou Acheter

Obtenez gratuitement la version d'essai

Essayez Simulink Check.

Essayer une version d'évaluation

Prêt à acheter ?

Achetez Simulink Check et découvrez les produits complémentaires.

Contacter un commercial
Tarifs et licences

Vous avez des questions ?

Paul

Contacter Paul Urban,
expert technique Simulink Check

Envoyer un e-mail à Paul

Simulink Check requiert: Simulink, MATLAB


 Solutions associées

Utilisez Simulink Check pour relever des défis scientifiques et d'ingénierie :


Au fil des événements

Cette présentation introduit Simulink Verification and Validation et Simulink Design Verifier. Elle met en avant les techniques avancées de vérification et de validation (impliquant l’analyse de couverture structurelle et les méthodes formelles)
Découvrez l'avis d'un ingénieur MathWorks sur Simulink et la conception basée sur les modèles.

Améliorer l’efficacité de la conception en utilisant la vérification des règles de modélisation