支持MATLAB和S金宝appimulink金宝app

在汽车工业中,开发高完整性系统的特点是证明符合ISO®26262,道路车辆功能安全的国际标准。ISO 26262将汽车安全完整性水平(ASIL)中的功能分类为D - 即至少对最严格的函数。OEM和Tier-1供应商正在调整他们的ECU开发过程,以利用基于模型的设计与ISO 26262。

嵌入式编码器®,仿金宝app真软件®模型验证工具和Polyspace®代码验证工具由TÜVSüd认证为合格的工具,根据ISO 26262为ASIL A-D。资格基于自动化的应用程序特定的验证工作流程。它支持金宝app反向反向模型和代码测试,如SIMULINK中的处理器 - 循环(PIL)仿真模式强烈地推荐的ASO 26262-6。金宝app因此,工程师可以利用编码器和编译器优化,包括由嵌入式编码器生成的特定于处理器的代码,以产生大规模生产ECU所需的快速和内存有效的软件。除C代码生成外,嵌入式编码器ISO 26262工具资格用例包括其AUTOSAR以及c++代码生成功能。

HDL Coder™也通过TÜV SÜD认证,适用于为所有ASILs开发安全相关产品。下载188bet金宝搏HDL编码器生成可读和可跟踪的VHDL和Verilog,可以针对任何FPGA, ASIC和SoC设备。它与HDL Verifier紧密合作,生成测试平台,使用HDL模拟器和FPGA板进行背靠背的测试。

IEC认证套件中提供了工作流文档,TÜVSüd证书和报告,测试套件和其他认证工件(ISO 26262和IEC 61508)。

“如果没有基于模型的设计,我们将需要至少30%的时间来开发和认证ESCL应用软件。我们通过生成满足所有速度和内存要求的有效代码来节省时间和精力。“

程辉,KOSTAL平台和流程经理

ISO26262:2018说明Simulin金宝appk和statflow适用于软件架构和软件单元设计符号,并作为自动代码生成的基础。