产品需求与平台空房IEC认证工具包（用于ISO 26262和IEC 61508）

万博1manbetx支持的平台

在Mac，Windows，Linux的

产品需求

  • 需要MATLAB
  • 需要Simulin万博1manbetxk的报告生成器（执行为Simulink的检查工具资格考试）

其他需求

Polyspace套件支持不万博1manbetx可用在Mac上。

介绍了在R2009a

查看其他产品的要求：