Simulink Verification and Validation

Nouvelles Fonctionnalités

R2014a (Version 3.7)

Sortie le: 6 mars 2014

La version 3.7, incluse dans la mise à jour 2014a, comporte les améliorations suivantes :

  • Option d’affichage web pour les résultats de couverture
  • Création de vérifications de Model Advisor pour les paramètres de configuration du modèle
  • Couverture de condition pour les blocs d’opérateurs relationnels
  • Vérifications de Model Advisor des messages de l’analyseur de code MATLAB
  • Prise en charge de la localisation du japonais

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

Mettez-vous à jour dès maintenant !

Releases Précédentes

R2013b (Version 3.6) - 5 sept 2013

La version 3.6, incluse dans la mise à jour 2013b, comporte les améliorations suivantes :

  • Traçabilité des spécifications pour le code MATLAB
  • Option de réinitialisation pour les résultats cumulés de la couverture du modèle
  • Vérifications de la norme de modélisation EN 50128 pour applications ferroviaires
  • Vérifications du Model Advisor pour les blocs de fonction MATLAB et les spécifications de plages d'entrée et de sortie

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

R2013a (Version 3.5) - 7 mars 2013

La version 3.5, incluse dans la mise à jour 2013a, comporte les améliorations suivantes :

  • Couverture de modèle pour la saturation sur les débordements d’entiers dans les blocs de fonction MATLAB dans Stateflow
  • Commande rmipref pour la gestion des préférences de traçabilité des exigences
  • Inclusion du préfixe de module DOORS dans les identifiants d’emplacement de la traçabilité des exigences
  • Accordion Model Advisor pour naviguer entre Upgrade Advisor, Performance Advisor et Code Generation Advisor

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

R2012b (Version 3.4) - 11 sept 2012

La version 3.4, incluse dans la mise à jour 2012b, comporte les améliorations suivantes :

  • Étiquettes personnalisées pour les liens entre les exigences et IBM Rational DOORS
  • Liaison des exigences avec les annotations Simulink
  • Filtrage de la couverture pour les événements Stateflow
  • Interface Model Advisor offrant une vérification efficace des instructions des modèles
  • Vérifications Model Advisor pour les modèles de bibliothèque et norme DO-178C/DO-331

Pour en savoir plus, reportez-vous aux Notes de mise à jour.

R2012a (Version 3.3) - 1 mars 2012

La version 3.3, incluse dans la mise à jour 2012a, comporte les améliorations suivantes :

  • Couverture de modèle pour la saturation sur les débordements d’entiers
  • Exclusion du Model Advisor des objets de modèle sélectionnés
  • Mise en évidence des résultats du Model Advisor dans le modèle
  • Liaison des exigences entre objets Simulink
  • Navigation vers Simulink à l’aide d’hyperliens directs à partir de documents externes, remplaçant l’insertion d’objets de navigation dans les documents

Pour en savoir plus, reportez-vous aux Notes de mise à jour.