MES Model Examiner® (MXAM)
MXAM新手?
发行说明 – 新版本有哪些功能亮点?
MES Model Examiner® (MXAM) v.10.3最新版本功能亮点（2024年10月）
通过MISRA AC SLSF和MAB建模规范加强了强类型约束
通过数据类型转换模块实现类型转换的强制实行。
禁止Abs模块中使用定点数据类型的无符号整数。
避免隐式数据类型转换对于安全关键型项目尤其重要。
通过防御性编程技术提升Stateflow图的鲁棒性
通过控制使用的语言，确保Stateflow使用的可靠性和安全性。
控制状态动作、Simulink函数和时间操作符的使用。
快速联系MXAM开发和支持团队
您可以在此向我们咨询有关MES Model Examiner (MXAM)的任何问题。您还可以通过此表格了解MES工具的最新更新和发行说明（季度工具更新快讯）。您还可以向我们发送详细的支持请求。
