THE MATHWORKS 提供自动化模型检查支持 自动化, THE, MATHWORKS, 模型, 检查

juliguo

The MathWorks宣布其 Simulink Verification and Validation 软件能够自动评估和验证系统模型与 DO-178B 和 IEC-61508 标准及 MAAB 建模准则的合格性，这些建模准则已经被国际航天、汽车和工业设备市场广泛采用。用于这些重要安全标准的最新模型检查功能使 Simulink Verification and Validation 所提供的现有支持扩展到客户开发的建模准则。