基于模型的设计用于开发汽车、工业自动化和机械等行业和应用领域的嵌入式软件。工程师使用基于模型的设计来生产符合IEC 61508功能安全标准的软件。这些应用程序需要额外考虑,以解决标准施加的约束,并提供所需的证据来证明合规性。
IEC 61508是为工业自动化行业开发的,但也存在其他行业的衍生产品,如铁路(EN 50128)、医疗(IEC 62304)和机械(IEC 62061)。在汽车领域,乘用车部分使用国际标准ISO 26262。IEC 61508仍然用于商用车辆,特别是非公路车辆。
IEC认证套件协助认证IEC 61508及其衍生标准,包括ISO 26262。它支持万博1manbetxEmbedded Coder和Polyspace代码验证产品。s manbetx 845
用于开发s manbetx 845iec61508应用的主要产品:
- IEC认证套件(适用于iec61508及iso26262)
- 万博1manbetx
- Stateflow
- 嵌入式编码器
- 万博1manbetx仿真软件检查
- 万博1manbetx仿真软件覆盖
- 需求的工具箱
- 嵌入式编码器
- Polyspace代码验证产品s manbetx 845