金宝appSimulink检查
Mesurer la qualité du design, suivre les activités de vérification and vérifier le respect des normes
金宝appSimulink Check™分析VosSoldèles，Exvigences ET测试Pulévaluerlaqualitédu设计et laconformitéaux normes。L'Until提议desrèglesdevérificationetdesmétriques重新努力达到Des industrie d'Intrations des Normes et des desiges demodélisationlors dudévelopement。Les Normes deDéveloppementde Logiciels批评Sentssess S金宝appont Les Suivantes：ISO 26262，DO-178C，DO-254，IEC 61508，ISO 25119等62304.L' OutilTientégalementComptedes指令du Mathworks咨询委员会（MAB）。金宝appSimulink Check Couvre Aussi des Normes deCodageSécuriséMendeScerC，CWE et ISO / IEC TS 17961.VOUS PouvezCréerdevéglesSuinnaliséesAfind'Assureer LaConformité®VosPrumenesoou指令实习。LesVérificationsencrsd'édition渗透d'标识符Lesproblèmesdeconformitédelsde laCréationdumodèle。
金宝appSimulink Check提议métriques，然后是complexité，你们可以用它来计算évaluer的状态和qualité的设计。测试的表格modèles重新组合données你的activités测试basées关于紧急情况，在测试的所有数据中。重构的自动机modèles你可以替换modélisation的克隆，réduire的complexité设计和标识符réutilisables。L'outil模型切片机的单独的行为problématiques在modèles和génère des modèles simplifiés pour le débogage。
工业标金宝app准的支持是assuré通过l'IEC认证套件(适用于ISO 26262及IEC 61508)et le.做资格套件（对于DO-178和DO-254）。
在知道加上:
Ressources gratuites
自动化器LaVérificationet la验证avec simulink金宝app
Vérifications prêtes à我使用développement的逻辑批评
PineAméliorerlaqualitéettaquaritédesmodèleset ducodegénéré，Simulink Chec金宝appk提议Des ri尊重Des Normes Industrielles Telles Le尊敬Des Normes Industrielles告诉Que Iso 26262，Do-178c，Do-331，Do-254，IEC 61508，ISO 25119 et en50128，AINSI Que La Norme Misra C：2012，LES指令Du Mathworks咨询委员会（MAB），LA Norme IEC 62304POULEREÉVOPHECEMENTSde Logiciels批评et les normes deCodageSécuriséMondeCerc，CWE等ISO / IEC TS 17961。
Rapport InteractifPrésentantLESRésultatset les行动推荐。
标识符et corriger les erreurs en cours d'édition
Tout Comme LaVérificationorthotographicevous权限D'éviterles福矿D'Orthographe Dans文件，LaVérificationen Cours d'éditionvousavertitdes违规Au furetàmesurequevouscréezlemodèle。Vous Pouvez Corliger Les Erreurs Au Furetàcesureafin d'éviterles remaniementscoûteuxet la miseenœuvredenouveaux测试àunstade plusavancéduprocessus dedéveloppement。
Identifier et Corriger LesProblèmesdeConformitéNeSeDesion Des Design Avec LeContrôleen Cours d'édition。
Configurer，Personnaliser Et AutomatiserLesVérifienc算duModèle
POUR Assuerer LaConformitédevotreModèleAux Normes Ou指令De Votre组织，Vous Pouvez Suppornaliser des rigesduredurations evec des Configation Avec des Api De Model Advisor et Ed Advisor et Ed Advisor Configuration Editor。Vous Pouvezexécuterlesvérifirationssur placieurs机器enParallèlepacélérerlavérificationde laconformité。
Créer des règles personnalisées avec le Model Advisor配置编辑器。
Vérifier la conformité aux normes de sécurité
Pour réduire les problèmes de conformité dans votre code généré PourCERT C，CWE等ISO / IEC TS 17961你们可以使用vérifier votre modèle标识符éléments de modélisation可受代码中最重要的准则影响。在édition的课上，你们确定éventuels problèmes，但是我们不尊重代码的标准sécurisé，然后是à测量développement。
DétecterLesBlocsCelceptsdePénaliserLaconformitéducodegénéréAux·德国DeCodageSécurisé。
Métriques测试basées关于紧急情况
LE模型测试仪表板VOUN DONNE UNAPERÇUde laQualitéetde l'neativitédevostestsbaséssur les previgences，etIntègreles指令de normes重新recrunes par l'Industrie Pour LeDéveloppementde Logiciels，Notamment ISO 26262 et Do-178。IL Forme Uneincoritueénumériqueentreles artefacts d'联合国Projet Procenant de Sources倍数Comme Les Previgences Les Tests et LesRésultatsdes测试。IL Analyze LeurCohérenceet LeurTeartivité，et提议DesMétriquesDétailléesSurLeurétat。
表格中的小部件résument查métrique pour évaluer速度résultats测试的实际结果，注意指令的遵守，l'achèvement对紧急情况的测试和紧急情况对各种测试的百分比。
通过评论gérer测试的人工制品basés关于紧急情况
LE模型测试仪表板分析LES Artefacts et Les Leens deTraçabilitéEuSein de Votre Projet et Montre Les ProjetteNelles，Les Cas de Test etLesRésultatsSteSteSTERSLERÉULTATSSSTES测试倒Chaque Comporant De Votre Projet Dans Le Volet Artifacts。les artefacts sanstraçabilitépar ringport auxmodèlessont misenévidencesppevousvousaideràidentifier les lacunes dans l'implureation oulavérification。
在这个表格中，你可以看到这些艺术品rattachés à auun élément都在这个项目中。
évaluerl'neativitédes测试Conformémentàlalormeiso 26262
Utilisez Le Model测试仪表板POURÉVALUERLAQUERITÉTER'TERTIVITÉDEVOSIVITITITÉSSETESTASBASÉESSURLES幸存，ConforméMentàLaveneSISO26262-6：2018。Le Tableau de BordContróleLaTraçabilitéTenreLes Preatizents，Les Tests et LesRésultatsdes测试。IL Analyze Les Artefacts D'ImpléMentation·丹佛州丹佛·韦特（Dens Votre Projet et et Chare des Mesures d'FeatertivitéetdequitéPourLes Cas de TestBaséssur les exercents et lesrésultatsdes tests，Conformémentàlalmeneiso 26262-6：2018。Le Tableau De Bord组织Les Cas De Test etLesRésultatsSteSteSTERSTERATESSTERESTERATESTESTERSTERESSTEXQUELSILS Renvoient，CE Qui Vous Donne UNAPERÇUdel'TeativitéSTERSTEDACOUPTURESTRELELLEDE CHAQUE ONTRALERELE DE ChaqueOnlyé。
在一个验证的表格中，我们可以看到détails de la métrique。
收集器métriques pour mesurer la qualité du modèle
金宝appSimulink Check Complede desMétriquesdumodèleQuevous Pouvez utiliser LaPlasteritéetlaLisibilitédevotreModèleConforméMentSuxNumers ISO 26262，DO-178C，DO-331，DO-254，IEC 61508，IEC 62304，EN50128 et autres。
收集和个性化métriques du modèle pour évaluer la qualité。
在一个场景中métriques consolidées
Le Metrics仪表板Intègre多样化MétriquesPortantNotamment Sur La Taille duModèle，Les Lignes De Code，L'étatdeConformitéAux指令，LaRéutilisationetlapertitédevotreModèleDansUne Vue独特，Qui Vous Donne Une Vision Globale de laPromitéde韦托尔商品。Utilisez Le Tableau de BordPourvérifierStevotreDesign et尊敬Des Normes Lorsque VOUS Passez en Revue VotreModèle。
这张表是métriques的，它与consolidée的état设计有关。
Mettreenévenceslesdépendances
切片机模型是根据dépendances的静态分析，在évidence或interdépendances之间的区域，在modèle的信号和成分。我们可以在également上对dépendances basée上的动态分析在模拟的行为中为你们提供帮助à我可以理解dépendances在modèle的大范围内的函数。
débogagedes errreurs de Conception etleséchecsde tests
en CasD'Échecd'联合国测试Dans Simul金宝appink Test™Ou D'Infe违规DePropriétéDansSimulink Design Verifier™，Commencesz LeDébogageAvec模板Slicer Pours Isolar La导致De L'Erreur etrésoudreLePrulème加速。
Créer des modèles自治simplifiés
型号Slicer Est En Mesured d'Isoler Une Parte duModèle康涅狄格州DeDépartSpécifié帕特尔L'Utherisateur，De SignauxEnregistrésout'fenêtretemplelle de simulation，puis de l'entegisterrer sous la forme d'联合国莫德Plus Petit QuiPréserveLe比特De Simulation Pour Faciter LeDébogageetMéuiorerLES表演。
MettreEnévencesUne parte d'联合国议案＆isoler pout faciliter ledébogage。
Découpage temporel basé sur l'activité avec statflow
环境évidence d'un modèle peut être limitée在模拟的时间间隔上根据某些数据états和过渡sélectionnés在状态流®Sont simultanément actifs lorors d'une模拟;他的行为是'intérêt。
标识符La Legique ActiveLorsqu'Unétatstactif。
标识符ET Refactoriser Les Clones deModélisation
l'entil识别建模克隆丙酮d'dirsczer unmodèle倒标识符des patterns demodélisationdupliqués。CES CLONES PEUVENT elsuiteêtrerefactorisés自动裁员Avec UneBibliothèqueRéutilisableAfind'AméliorerLavatchenabilitéetdeRéduireLaplastitédsdess。
变压器modèles pour améliorer la réutilisation des composants和la lisibilité des modèles
L'overil模型变压器纯Permet d'标识符desModélisationCenceptiesd'être变换en Blocs Variant Source OU变体子系统倒Refactoriser LeModèleen Vue d'AméliorerSAsubdivision等。IL EST能力D'Identifier Les Blocs Data Store Qu'il EstD'éliminerafind'AméliorerlaLisibilité。
标识符的模式modélisation可受影响的d'être remplacés par des变体。
