Vérification，验证et test avec matlab et simulink万博1manbetx
Vérifiez et validez les systèmes embarqués avec le基于模型的设计
LesIngénieurs实用基于模型的设计用MATLAB®ET 万博1manbetxSimulink.®pour concevoir des systèmes embarqués complex et générer du code C, c++ et HDL de qualité生产。Grâce aux tests en simulation et à l’analyse statique basée sur les méthodes formelles, les outils MathWorks apportrigueur and automation au model -基于模型的设计afin d’identifier les errors plus tôt et d'améliorer la qualité du système。
Avec MATLAB和Sim万博1manbetxulink，你们可以看到:
- 跟踪体系结构、设计、测试和代码的紧急情况
- DémontrerQue Votre Design Est Conforme Aux Exigences et Qu'ilNePrésente迈克·埃鲁勒·埃鲁勒运行时间批评
- 验证LA即符合等mesurer LA QUALITE德MODELES等杜代码
- Générer自动申请Des Cas De Test Pour Tummenter La Couverture De Test
- Produire des Rapports et Artefacts etrépondre奥克斯·德国De L'Industrie（告诉que做- 178ET.ISO 26262.）
基于模型的设计原则允许réduire les coûts de main-d'œuvre占30%，测试占20%，增加productivité加30%。Nous avons terminé le développement de notre ECU en avance, tout en constituant notre équipe de développement logiciel en interne。»
大陵李，潍柴力量
利用de matlab et simulink倒入万博1manbetxlavérificationet la验证
验证des紧急事件
勒突未德发展署动工AVEC莱exigences textuelles，pouvant理由conservées丹斯DES文件，DES弗耶去演算瓯德OUTILS DE GESTION DES exigences COMME IBM®理性的®门®．Avec 万博1manbetxSimulink要求™，Vous Pouvez Pandulter，Créeretgérerseversifigences合作Avec Votre Architecture，Votre Design，Le CodeGénéréetLesartefacts de测试。Vous PouvezCréer联合国LienNumériquedepuis les verse Vers Le DesignExpriméDansSystem Composer™，Simulink，Sta万博1manbetxteFlow®OU莱斯测试MATLAB丹斯Simulink的测试万博1manbetx™。宽限期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突未德发展署。
Les analyses temporelles in Si万博1manbetxmulink Test you ous permeto vérifier Les exigences textuelles en spécifiant ces analyses avec une sémantique précise dans un language nature qui peut être évalué et débogué。
conformitéaux normes de认证
AutomatisezLaVérificationStemèleset du Code Vis-in-Vis Normes Comme-178，ISO 26262，IEC 61508等IEC 62304，ET DES指令Du Mathworks汽车咨询板（MAAB）。万博1manbetxSimulink Check™建议Desrèglesdevérificationetdesmétriques重新调整Dans L'Industrie Embettant D'Inderations Les Normes et des Desiges Lors duDuévelopement。Vous PouvezCréerdevérizationpersonnaliséesafin d'Assurear LaConformitéàvosPormesou指令实习。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 etVérifier素材Les Preatigents
La vérification formelle permet d'identifier des err de design cachées qui entraînent par example des débordements d 'entiers, de La logique morte, des violations d'accès dans les tableaux and des divisions par zéro, sans simuler le design。万博1manbetxSimulink Design Verifier™peut vérifier formellement que votre Design ne présente aucune error ou faille de sécurité。除非我们能证明你的设计符合紧急的批评。另一个例外是détecte，另一个是génère。
Génération自动测试
伊尔EST精萃D'标识CE魁n'est PAS库韦尔丹斯莱测试，莱fonctionnalitésindésirables欧莱erreurs亲属辅助exigences。万博1manbetxSimulink的覆盖™calcule LA比例杜MODELE欧杜代码généréétudiée挂件乐的考验。IL贴花DESmétriquesreconnues丹斯L'工业公司，notamment LES的条件下，LES决定，LES条件/决定modifiées（MCDC）和les objectifs德糖皮personnalisés。万博1manbetxSimulink设计验证peutgénérerautomatiquement DES CAS去测试AFIN德résoudre莱problèmes谎言UNE的糖皮不完整等atteindre VOS objectifs去糖衣structurelle等fonctionnelle。
分析静态解码
PourVérifierduceedécritManuellentehu自动化欧自动化Généré，Les Produits Polyspace®实用德斯梅斯特块夹层陷入困难lects et prouver l'缺席d'erreurs运行时间批评Sansexécuterde code ni de cas de测试。PolySpace Bug Finder™Vérifieet documente laconformitéareumes告诉que misra®，ISO 26262，IEC 61508，DO-178 et LesRéglementationsFDA。VousPouvezVériferLESVULNÉRABILITÉSDESÉCURITÉLOGICIELLE等LACONFORMITÉIAUX常态告诉QUE CWE，CERT-C，ISO / IEC 17961 ET Autres。Polyspace Code Prover™Effectue Une Analyze Statique Permettant de Prouver L'缺席D'overflow，De DirceParzéro，dedébordementde tableaux et autres errreurs运行时达斯杜代码c等c ++。
获得免费试用
在你的指尖探索30天。
如您需要帮忙，请联系我们。
联系我们进行定制评估，并根据您的需求获得定价。
