IEC Certification Kit 1.3
for IEC 61508 and ISO 26262

IEC Certification Kit（IEC 认证工具包）提供了相关文档、证书和模板供您参考，以便您使用 Real-Time Workshop Embedded Coder™ 或 PolySpace® 代码验证产品来验证按照 IEC 61508 及 ISO 26262 标准开发的项目。此工具包含有由认证机构 TÜV SÜD 颁发的证书和报告，它们基于应用特定的已归档验证工作流程而提供。对于使用 Simulink® 或 PolySpace 产品开发的嵌入式系统，使用此工具包可以简化系统的认证过程。

Real-Time Workshop Embedded Coder 以及含有 MISRA-C:2004 代码分析程序的 PolySpace Verifier for C 的特定版本已通过 TÜV SÜD 的 IEC 61508 标准认证。针对这些产品的任一经认证版本，此工具包均提供了证书、报告以及记录了标准遵循性的其他相关材料。您可根据项目需要修改这些样本，并将其作为证明产品或应用符合 IEC 61508-3 及 ISO/DIS 26262-8 标准