Génération de code pour l' industrial automobile

L'architecture et le design de logiciels

万博1manbetx^®et Stateflow^®渗透aux OEM et à leurs fournisseurs de développer des设计systèmes汽车(推进，carrosserie，导管自主等)。应用程序spécifications exécutables plutôt que des diagram statiques accélère le设计和执行程序les opérations deVérification et de验证Très tôt dans le cycle de développement。Les fonctionnalités clé d'architecture et de design 万博1manbetxsupportées include la modélisationAUTOSAREt la conversion des données virgule flottante en données virgule fixe avec定点设计师™．

Vérification du code de production

Les测试软件在环(SIL)和处理器在环(PIL)组成la pierre angulaire de la vérification du code de production。En effet, ils automatisent l'exécution et la comparison des résultats du code par rapport au comement du modèle de référence。La création d'un环境倾倒测试仪votre ECU spécifique est supportée avec les A万博1manbetxPI PIL。双向连接中心modèle等代码永久示踪查询集合区等états du modèle，间接连接乐débogage等vérification。Vous pouvez créer, exécuter，考官和组织者des tests et des cas de tests à l'aide de万博1manbetx仿真软件测试™．Vous pouvez计算器la couverture结构代码généré à l'aide de万博1manbetx仿真软件覆盖™倒évaluer l'état de réalisation de vos测试。