验证，确认等测试AVEC MATLAB等的Simulink金宝app
基于模型Vérifiez等validez莱斯Systèmes的embarquésAVEC乐设计
莱斯ingénieursutilisent乐基于模型的设计AVEC MATLAB®等的S金宝appimulink®倾concevoir DESSystèmes的embarqués络合物等générer杜码C，C ++等HDL德QUALITE生产。格雷斯AUX测试连接模拟等A L'分析statique BASEE河畔莱méthodesformelles，莱OUTILS MathWorks公司apportent平常等automatisation AU基于模型的设计AFIN D'标识莱erreurs加TOT等D'améliorerLA QUALITE杜SYSTEME。
AVEC MATLAB等Sim金宝appulink中，VOUS pouvez：
«帕融洽AU codage曼努埃尔，乐基于模型的设计常识一PERMIS德réduire莱COUTS去主d'œuvre德30％等ceux沙漠试验德20％，等D'增强因子LA生产率德加上去30％。奴斯avonsterminé乐发展协会去巴黎ECU连接AVANCE，招徕恩constituant巴黎队报德发展署logiciel恩实习医生。»
大明立，潍柴动力
验证DES exigences
勒突未德发展署动工AVEC莱exigences textuelles，pouvant理由conservées丹斯DES文件，DES弗耶去演算瓯德OUTILS DE GESTION DES exigences COMME IBM®合理的®门®。AVEC 金宝appSimulink的要求™，VOUS pouvez咨询者，créer等gérer德exigences conjointement AVEC VOTRE架构，VOTRE设计，乐代码généré和les文物德测试。VOUS pouvezcréer未留置权NUMERIQUE depuis莱exigences VERS乐设计exprimé丹斯系统构成™，Simulink中，Stateflow的金宝app®OU莱斯测试MATLAB丹斯Simulink的测试金宝app™。宽限期CETTEtraçabilité，VOUS pouvez标识符CE魁manque丹斯L'实施欧乐测试，等comprendre rapidement L'冲击D'UNE修改河畔乐设计欧乐测试。莱斯exigencesexprimées丹斯莱OUTILS层peuvent理由谘询，synchronisées等géréesAFIN D'担保人拉traçabilitéAVEC其他残疾OUTILS德VOTRE突未德发展署。
莱斯分析temporelles丹斯Simulink的测试VO金宝appUS permettent去验证莱exigences textuelles连接spécifiantCES分析AVEC UNEsémantique精确丹斯联合国langage完全自然魁peut理由安勤等débogué。
即符合辅助劳工标准司德认证
Automatisez拉验证德MODELES等杜代码面对面的人DES NORMES COMME DO-178，ISO 26262，IEC 61508等IEC 62304，和des指令杜MathWorks的汽车顾问委员会（MAAB）。金宝appSimulink的检查™提出DESrègles去验证和desmétriquesreconnues丹斯欧莱雅工业permettant D'标识侵犯莱德国际劳工标准司和des指令的LOR杜Développement公司。VOUS pouvezcréerDESrègles去验证personnaliséesAFIN D'担保人拉即符合虚拟操作系统PROPRES NORMES OU指令internes。L’IEC Certification Kit (ISO 26262 et IEC 61508) et le DO Qualification Kit (DO-178) offrent des artefacts de qualification d'outils, des certificats et des suites de test pour vous aider à qualifier les produits de vérification et de génération de code et à rationaliser la certification de vos systèmes embarqués.
Prouver L'没有D'erreurs等验证formellement莱exigences
香格里拉验证formelle柏美D'标识DES erreurs去设计cachées魁entraînent面值为例DESdébordementsD'entiers，德拉logique莫特，德科特迪瓦侵犯ACCES丹斯莱舞台造型和des师相提并论零，SANS simuler乐设计。金宝appSimulink设计验证™peut验证formellement阙VOTRE设计NEprésenteaucune ERREUR欧罗缎安全局。CET OUTIL peutégalementprouver阙VOTRE设计EST CONFORME辅助exigences批评。S'ildétecteUNE例外，ILgénère未驳-为例倒乐débogage。
代AUTOMATIQUE日测试
伊尔EST精萃D'标识CE魁n'est PAS库韦尔丹斯莱测试，莱fonctionnalitésindésirables欧莱erreurs亲属辅助exigences。金宝appSimulink的覆盖™calcule LA比例杜MODELE欧杜代码généréétudiée挂件乐的考验。IL贴花DESmétriquesreconnues丹斯L'工业公司，notamment LES的条件下，LES决定，LES条件/决定modifiées（MCDC）和les objectifs德糖皮personnalisés。金宝appSimulink设计验证peutgénérerautomatiquement DES CAS去测试AFIN德résoudre莱problèmes谎言UNE的糖皮不完整等atteindre VOS objectifs去糖衣structurelle等fonctionnelle。
分析statique德码
倒验证码杜écritmanuellement欧automatiquementgénéré，LES PRODUITS Polyspace®utilisent DESméthodesformelles倒入已找到莱错误等prouver L'没有D'erreurs运行时批评SANS执行者去码妮去中科院去检测。Polyspace Bug的搜索™vérifie等documente拉即符合AUX NORMES特列斯阙MISRA®，ISO 26262，IEC 61508，DO-178和lesréglementationsFDA。VOUS pouvez验证LESvulnérabilités安全局logicielle等LA即符合辅助NORMES特列斯阙CWE，CERT-C，ISO / IEC 17961和其他残疾。Polyspace代码证明者™effectue UNE分析statique permettant德prouver L'缺席D'溢出，解分裂帕零，解débordement德静态画面等其他残疾erreurs运行时丹斯杜代码源C等C ++。
PRODUITSASSOCIÉS
获取免费试用
30天唾手可得的探索。
如您需要帮忙，请联系我们。
联系我们自定义的评估，并获得根据您的需求定价。
