ISO 26262和IEC 61508 IEC认证工具包

符合ISO 26262和IEC 61508认证的代码生成和验证工具

IEC Certification Kit提供了工具认证工件、证书和测试套件,并生成可追溯性矩阵。该工具包帮助您验证MathWorks代码生成和验证工具,并简化嵌入式系统的ISO认证®iec61508, en50128和相关的功能安全标准,如iec62304。认证机构TUV SUD提供的证书和评估报告包括在套件中金宝app支持的产品和标准下载188bet金宝搏

IEC认证工具包提供ISO 26262工具认证和分类工作产品,以及测试套件。下载188bet金宝搏它包括允许您调整工作产品以满足特定项目需求的模板。下载188bet金宝搏您可以生成特定于项目的工件,包括涵盖需求、模型和生成的代码的可追溯性矩阵。特定于项目和产品的工件可以组合在一起产生一个完整的符合ISO 26262标准的工具,用于所有ASIL级别(ASIL a到ASIL D)的嵌入式系统认证。

注意:ISO26262:2018表明Simulink和State金宝appflow适用于软件架构和软件单元设计符号,并作为自动代码生成的基础,如图所示在这里

开始:

标准

什么是IEC 61508, ISO 26262, ISO/PAS 21448, EN 50128, IEC 62304,以及相关的标准?

IEC 61508(电气/电子/可编程电子安全相关系统的功能安全)是一个独立于行业的国际功能安全标准。七部分标准的跨度从iec61508 -1到iec61508 -7。IEC 61508-3是关于软件开发、验证和确认的。IEC 61508-3高度推荐安全完整性级别(SILs) SIL 2及更高级别的认证工具和翻译;第7.4.4条规定了支持工具的要求。金宝app

使用基于模型的设计工作流来显示对功能性安全标准的遵从性。

ISO 26262:2018(道路车辆-功能安全)是一项国际功能安全标准。它是IEC 61508的一种适应,专门用于道路车辆工业的电气和电子系统应用部门。它由12个部分组成:ISO 26262-1:20 8到ISO 26262- 12:18 8。ISO 26262-6:2018适用于软件开发、验证和确认。它包括使用基于模型的设计和代码生成的项目指南。ISO 26262-8涉及多个跨功能的主题,包括软件工具的分类和鉴定。工具资格要求的严格程度是基于工具分类级别(TCL)和汽车安全完整性级别(ASIL) A到D。

ISO/PAS 21448:2019(道路车辆-预期功能安全性或SOTIF)是一个补充标准,提供指导的工程(设计,验证和确认)措施,以解决系统危害造成的功能不足和可预见的误用,在没有解决系统故障的情况下,ISO 26262。

EN 50128(铁路应用-铁路控制和保护系统软件)是一项欧洲标准,规定了用于铁路控制和保护应用的可编程电子系统的开发程序和技术要求。en50128由欧洲电气技术标准化委员会(CENELEC)开发,是代表IEC 61508标准系列的铁路应用的一系列标准的一部分。

IEC 62304(医疗设备软件-软件生命周期过程)是一个国际标准,描述了医疗设备软件所需的软件开发和维护过程。所需的流程、任务和活动受到设备软件的危害(对患者、护理人员或环境的风险)级别的影响。IEC 62304没有直接解决软件工具认证问题。但是,它指出,IEC 61508可以被看作是实现IEC 62304要求的方法、工具和技术的来源。关于工具验证的其他指南,如FDA,可在FDA软件验证页面

IEC认证套件包括TUV SUD的IEC 61508:2010, ISO 26262:2018, EN 50128:2011, IEC 62304:2006和IEC 61511:2003证书。它为这些标准和其他标准(包括ISO/PAS 21448 (SOTIF))提供了参考工作流。您也可以使用IEC认证工具包作为合格工具的基础,并指导使用基于模型的设计来开发需要认证其他IEC 61508相关标准和适应的系统。

合格的工具

向认证机构提供完整的认证包

当申请人应用支持的工具来开发或验证符合功能安全标准或标准认证应用程序的软件时,IEC认证工具包遵循基于典型工作流或用例的上下文方法来进行工具认证或资格认证。金宝app根据ISO 26262,工作流程处理风险等级ASIL A-ASIL D, IEC 61508, SIL 1-SIL 4, EN 50128, SIL 0-SIL 4。申请人必须在引用的工作流和申请人项目认证计划中指定的约束和用例中使用工具。

IEC认证工具包旨在帮助您使用MATLAB为认证机构提供一个完整的认证包®、S金宝appimulink和Polyspace产品。下载188bet金宝搏要使用IEC认证包,请遵循以下步骤:

  1. 记录符合相关功能安全标准的要求和您的预期用例。
  2. 向认证机构提出初步认证计划。
  3. 收集工具提供的工件,如TUV SUD证书,并执行独立于应用程序的工具鉴定活动,包括产品测试套件的执行。
  4. 执行特定于应用程序的工具认证活动,例如使用IEC认证工具包提供的可追溯矩阵生成能力生成模型到代码的可追溯性。
  5. 向认证机构提供完整的认证包。

IEC认证工具包为上述步骤提供指导和信息,并包括文档模板、测试用例和测试过程,您需要验证金宝app支持产品下载188bet金宝搏符合适用的标准。

对于支持金宝app的产品,IEC认证工下载188bet金宝搏具包包括以下工件:

  • TUV SUD证书及证书报告
  • 参考工作流
  • 工具资格计划
  • 工具一致性演示模板
  • 测试用例、过程和结果

您需要在MATLAB或Polyspace安装环境中执行IEC认证工具包中的测试用例和过程。然后,您应该将生成的测试结果与来自该工具包的预期结果进行比较,并消除任何差异。

使用IEC认证工具包,使代码生成和验证工具符合功能安全标准。

认证系统

IEC认证套件提供了详细的工作流程指导,用于开发和验证使用基于模型的设计系统。工作流指南描述了用于软件安全生命周期中每个软件开发和验证子阶段的过程、方法和工具,从高级需求验证到可执行的目标代码验证。

使用IEC认证工具包,您可以生成一个跟踪矩阵电子表格来显示需求到模型到代码的双向跟踪路径和文件信息。您还可以使用IEC Certification Kit来生成一个报告的错误列表,您可以为密钥存储和归档这些错误金宝appPolyspace用于基于模型设计的工具。

注:使用经过认证的工具不能确保所考虑的软件或系统的安全。

体系认证。

最新的特性

高密度脂蛋白编码器

资格HDL编码器到ISO 26262, IEC 61508, EN 50128, IEC 62304,和ISO 25119

ISO 25119:2018

符合ISO 25118:2018功能安全标准

ISO 26262:2018

符合ISO 26262:2018功能安全标准

SOTIF参考工作流

了解基于模型的设计在ISO/PAS 21448:2019 (SOTIF)中的角色

ISO 26262的AUTOSAR块集

验证嵌入式编码器生成的C代码为AUTOSAR经典和c++代码为AUTOSAR自适应从AUTOSAR块集

看到发布说明有关这些特性及其相应功能的详细信息。