MATLAB 和 Simulink 中的 IEC 61508 支持

基于模型的设计用于汽车、工业自动化和机械及其他行业和应用领域的嵌入式软件开发。工程师们使用基于模型的设计生成符合 IEC 61508 功能安全标准的软件。这些应用场景需要一些额外考虑,以应对标准所施加的约束条件并提供必需的证据来证明合规。

IEC 61508 最初是针对工业自动化行业开发的标准,但是现在已衍生出其他一些行业的标准,比如轨道交通 (EN 50128)、医疗 (IEC 62304) 和机械设备 (IEC 62061)。在汽车领域,ISO 26262 国际标准已用于乘用车类别。IEC 61508 仍然用于商用车 – 特别是非公路用车辆。

IEC Certification Kit 用于协助 IEC 61508 及其衍生标准(包括 ISO 26262)认证。它支持 Embedded Coder 和 PolySpace 代码验证产品。

Automating Verification and Validation with Simulink