The MathWorks日前宣布，其Simulink Verification and Validation软件能够自动评估和验证系统模型与DO-178B和IEC-61508标准及MAAB建模准则的合格性，这些建模准则已经被国际航天、汽车和工业设备市场广泛采用。用于这些安全关键标准的最新模型检查功能使Simulink Verification ...
This paper discusses some best practices for repeatable and exhaustive verification in the Simulink environment. It describes how early verification and validation (V&V) in Model-Based Design can ...
Natick, MA. MathWorks has introduced Release 2015b (R2015b) with a range of new capabilities in MATLAB and Simulink. In addition to new features in MATLAB and Simulink, R2015b includes updates and bug ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果