THE MATHWORKS为安全关键系统提供自动化模型检查支持——航天和汽车工程师们现在可以在Simulink内验证与DO-178B、IEC-61508和MAAB建模标准的合格性

摘要

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