IEC Certification Kit. IEC安全驗證套裝組:針對 ISO 26262 及IEC 61508
Introduction
包括產品:Embedded Coder™, Polyspace® products, Simulink Design Verifier™, Simulink PLC Coder™, and Simulink Verification and Validation™. 支援的安全標準包括ISO 26262, IEC 61508, EN 50128,和 IEC 61511.
本工具箱使用需搭配MATLAB