金宝app仿真软件设计验证器
Identifier Les Erreurs De Design，Prouver LaConformitéAvecLESextigencesetgénérerses测试
金宝appSimulink Design Verifier™利用des méthodes formelles pour identifier les ererrors de Design cachées dans les modèles。在détecte在modèle的范围内entraînent的错误说明了dépassements的capacité为所有的细节，详细的逻辑，违反的地方'accès在表格和划分中zéro。我认为vérifier设计的要素是符合必要条件的。为了消除设计误差或不考虑存在性，可以génère通过débogage进行模拟试验。
金宝appSimulink设计验证者génère对modèle的模型进行的测试以及对目标的测试personnalisés afin d étendre的测试basés关于存在的紧急情况。Grâce à当你进行测试时，你可以向你的担保人modèle满足条件，décisions，条件/décisions modifiées (MCDC)和目标的couverture personnalisés。在这些实验的对象之外，你们可以看到définir这些实验的对象personnalisés在générer这些实验的自动机中basés关于紧急情况。
工业标金宝app准的支持是assuré通过l 'IEC认证工具包(适用于ISO 26262和IEC 61508)等做资格工具包(适用于DO-178及DO-254)
在知道加上:
错误'exécution等诊断
Avant D'ExécuterSts模拟，Vous PouvezDétecterLESERREURSDEModélisationetd'EneécutionseTIESLESCUTIONDECONTICAPERECELEIERS，LES DECINES PARZÉRO，LES ACCOURS HOLL INTIMES，LES VEREURS SUS-NORMILES，LES ERREURS de Virgule Flottante etLes Erreurs deValiditédesdonnées。
Regique Morte.
确定你的物体modèle可能没有激活的模拟和'exécution你的代码généré。 |
DétentiondeLaLegique Morte Dans VosSoldèles。
这是增加褶裥的试验
Augmentez和étendez存在的检验créés manuelment afin résoudre les problèmes liés à一个couverture modèle incomplète。 |
根据紧急情况，测试basés
Générez des des test à partir des modèles d'exigences système。
用C/ c++编写代码
Générezdes Cas de TestPourAméliorerLaCouverture duCodeGénéréet du Code C / C ++AppeléDupuisLes Blocs金宝app®在图表中Stateflow®．
GénérationDETESTSPLELES MODIENLES QUI Appellent Du Code C.
exigences desûreté.
Vérifiezque le展比赛De Votre Design Est Conforme Aux Exigences deSûretédéfinies素描Que Vous Exprimez DansMATLAB®， 金宝appSimulink et statflow。
简化de modèles pour le déploiement
UNE FOIS VOTRE MODIENLE DE VARIANTS PRONIALIANTS HINGIPALENTIUERENCEVERVARYÉ，UTILISEZ L'OUTIL VARIANT REDUCERRéduit倒入UNS-Ensemble De配置验线。LesDépendancesde Fichiers et de VariablesAssociéessontégalementRéduites。Les artefactsréduitssontpackagésdans联合国档案独特的pounitfaciterledéploiementet le partage avec les客户et partenaires。
Création d'un modèle réduit。
