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

  • Vérification en cours d’édition : Détectez et réglez les problèmes potentiels de compatibilité rencontrés dans votre modèle au moment de la conception
  • Détection de clones et de variantes : Identifiez des matrices de modélisation afin de refactoriser et de simplifier les modèles
  • Conformité MISRA : Effectuez les contrôles de conformité MISRA disponibles dans Simulink Verification and Validation
  • Couverture de code Processor-in-the-Loop : Évaluez la couverture de code en mode Processor-in-the-Loop
  • Couverture de modèle MCDC : Enregistrez la couverture MCDC pour des réseaux de blocs logiques Simulink en cascade
  • Affichage des résultats de la couverture : Consultez, gérez et cumulez les résultats de la couverture de modèle avec Coverage Results Explorer
  • Paramètres intégrés de configuration de la couverture : Accédez à des paramètres de couverture intégrés via la boîte de dialogue Configuration Parameters
  • Lien aux exigences des harnais : Associez des exigences aux objets de modèle dans des harnais de test stockés en externe

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

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

  • API de mesure du modèle : Exécutez et créez des mesures à l'aide de programmes
  • Contrôles Model Advisor pour la norme médicale IEC 62304 : Contrôlez les modèles afin de vous conformer aux normes médicales
  • Contrôles des normes Model Advisor : Vérifiez que les modèles respectent les conventions de nommage
  • Paramétrage du contrôle Model Advisor : Contrôlez le comportement de vérification à l'aide de paramètres d'entrée
  • Couverture de code pour le code généré : Mesurez la testabilité du code généré grâce à une analyse de la couverture
  • Liens aux exigences : Tracez les exigences jusqu'aux objets dans les harnais de test et les étapes dans les blocs Test Sequence

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

La version 3.9.1, incluse dans la Release 2015aSP1, propose des corrections d'erreurs.

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

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

  • Contrôles Model Advisor pour la taille, la complexité cyclomatique et la lisibilité des métriques du modèle
  • Création de rapports Model Advisor aux formats Adobe PDF et Microsoft Word
  • Contrôle Model Advisor pour le support des instructions JMAAB, Version 4.0
  • Enregistrement de l'exécution du bloc pendant l'analyse de la couverture de modèle
  • Gestion des paramètres de couverture de modèle dans l'ensemble de configuration de modèle

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

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

  • Mesure de la couverture pour les S-fonctions codées en C
  • Vérifications de Model Advisor pour les fonctions MATLAB

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

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

  • Couverture de modèle pour les valeurs aux limites des blocs
  • Prise en charge de la vérification standard de modélisation pour les diagrammes utilisant MATLAB comme langage d'action
  • Liaison des spécifications pour les entrées de dictionnaire de données Simulink
  • Capture et affichage des informations sur les spécifications dans la mise en évidence des modèles et l'affichage Web​​

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