杰克·埃里克森,Mathworks公司
获取HDL代码生成和验证支持,在IEC认证工具包的概述ISO 26262和IEC 61508。万博1manbetx
ISO 26262和IEC 61508的IEC认证工具包增加了工作流程和工件文档,用于将基于模型的功能安全设计与ASIC和FPGA实现连接起来。这包括来自TUV SUD的证书,证明HDL编码器符合ISO 26262对ASIL的要求,并根据IEC 61508、IEC 62304、EN 50128和ISO 25119对其适用性进行了测试。
这个工作流程包括:
该套件还提供了用于管理和记录您的工作流程步骤和文物的模板。如果你需要在部署这一进程更广泛的支持,MathWorks公司提供万博1manbetxISO 26262流程部署咨询服务。
要了解更多有关MathWorks的ISO 26262的工作流程,请访问:ISO 26262支万博1manbetx持MATLAB和Simulink万博1manbetx。
与发行2020A开始,HDL编码器已经合格ISO 26262,其中包括来自MathWorks公司已经更新了一个完整的工作流程,基于模型的设计连接到FPGA和ASIC实现ASIL D. IEC认证工具包ISO 26262和IEC 61508。
该工具包提供了工作流和工件来帮助您遵守—并证明您遵守—这些功能性安全标准。在HDL部分,有一个来自TUV SUD的关于HDL编码器的证书,以及他们的报告,该报告解释了对其进行限定的过程。
而这不仅仅是HDL编码器。在试剂盒中的工作流程文档涵盖从需求创作,以架构建模,建模执行,然后到HDL代码生成,以验证和确认在每一步的处理。
正如你所看到的,这个工作流程的一个重要组成部分,首先验证根据需求模型的行为,其中包括连接要求,模型和测试,并确保这些要求在测试中完全覆盖。然后,当你进入实施,验证每个实施阶段产生的设计,其功能相匹配的前一阶段。
该工作流还提供了一些技术,以帮助确保通过下游FPGA或ASIC实现的完整性。HDL代码生成之前,使用型号顾问来运行特定任务的检查。在这里,我将只运行在我们的HDL教程的设计,这是不是在考虑认证创造了信号处理设计的ISO检查,所以应该找出很多的问题。
没有错误,这是好的,警告可以让您了解好的实践,以防止在这个级别上进行假设,从而导致后续的问题。其中一些应该在设计中得到解决,另一些涉及到工具设置,比如增加对溢出等问题的检查力度。
而在验证下游实施方面,HDL验证提供了许多方法来重新使用基于模型的设计工作。什么是显示在该流程图运行您在上半实物与Simulink的测试运行的FPGA设计,并检查结果反馈到后端对您的模型。万博1manbetx您还可以使用HDL验证生成下游仿真,包括UVM SystemVerilog验证组件。见HDL验证产品页面了解更多信息。
该套件还展示了如何手写代码集成到流程,以及如何使用HDL验证模型一起验证。
最后,该工具包提供了一个模板,您可以使用它来演示项目的一致性。它列出了使用的标准,并提示您使用流程中的相关信息。
MathWorks公司提供的援助和咨询这些功能安全工作流程,以建立自己的组织能力。而该套件本身提供了让你开始一些重要的资源。
您还可以选择从下面的列表中的网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。