IEC认证套件（对于ISO 26262和IEC 61508）
认证ISO 26262和IEC 61508认证的代码生成和验证工具
IEC Certification Kit提供工具鉴定工件、证书和测试套件，并生成可跟踪矩阵。该工具包帮助您对MathWorks代码生成和验证工具进行认证，并简化嵌入式系统的ISO认证®26262，IEC 61508，EN 50128及相关的功能安全标准，如IEC 62304.证书颁发机构TÜVSüd的证书和评估报告包括在套件中万博1manbetx支持的产品和标准s manbetx 845．
IEC认证套件提供ISO 26262工具鉴定和分类工作产品，以及测试套件。s manbetx 845它包括允许您调整工作产品以满足特定项目需求的模板。s manbetx 845您可以生成特定于项目的工件，包括覆盖需求、模型和生成代码的可跟踪矩阵。特定于项目和产品的工件可以结合起来产生一个完整的ISO 26262兼容的工具认证包，用于所有ASIL级别(ASIL a到ASIL D)的嵌入式系统认证。
注:ISO26262:2018指出Simulink和statfl万博1manbetxow适用于软件架构和软件单元设计符号，并作为自动代码生成的基础，如图所示这里．
开始:
IEC 61508（电气/电子/可编程电子安全相关系统的功能安全性）是国际，独立的功能安全标准。七分标准SPANS IEC 61508-1至IEC 61508-7。IEC 61508-3关注软件开发，验证和验证。IEC 61508-3强大建议安全完整性水平（SILS）SIL 2及更高版本的认证工具和翻译;第7.4.4节提供了支持工具的要求。万博1manbetx
使用基于模型的设计工作流来显示功能安全标准的遵从性。
ISO 26262:2018(道路车辆-功能安全)是国际功能安全标准。它是IEC 61508的一个适用于道路车辆工业中电气和电子系统的应用部门。它由12个部分组成:ISO 26262-1:2018至ISO 26262-12:2018。ISO 26262- 6:18涉及软件开发、验证和验证。它包括使用基于模型的设计和代码生成的项目指南。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认证套件包括IEC 61508:2010, ISO 26262:2018, EN 50128:2011, IEC 62304:2006和IEC 61511:2003的TÜV SÜD证书。它为这些标准和其他标准(包括ISO/PAS 21448 (SOTIF))提供了参考工作流程。您也可以使用IEC认证套件作为认证工具的基础，以及使用基于模型的设计来开发需要认证其他IEC 61508相关标准和适应的系统的指导。
当申请人应用支持的工具开发或验证符合功能安全标准或标准认证应用程序的软件时，IEC Certification Kit遵循基于典型工作流或用例的工具认证或确认上下文方法。万博1manbetx该工作流根据ISO 26262处理风险级别ASIL A-ASIL D，根据IEC 61508处理SIL 1-SIL 4，根据EN 50128处理SIL 0-SIL 4。申请人必须在引用的工作流程内，以及在申请人项目认证计划中指定的约束和用例内使用这些工具。
IEC认证套件旨在帮助您使用MATLAB向认证机构提供完整的认证包®、S万博1manbetximulink和Polyspace产品。s manbetx 845要使用IEC认证套件，请遵循以下步骤:
- 记录符合相关功能安全标准的要求和您的预期用例。
- 向认证机构提出初步认证计划。
- 收集工具提供的工件，如TÜV SÜD证书，并执行与应用程序无关的工具确认活动，包括产品测试套件的执行。
- 执行特定于应用程序的工具确认活动，例如使用IEC Certification Kit提供的可追溯矩阵生成能力生成模型到代码的可追溯性。
- 向认证机构提供完整的认证包。
IEC Certification Kit提供了上述步骤的指导和信息，并包括文档模板、测试用例和测试过程，这些都是您需要确认的万博1manbetx符合适用标准的支持产s manbetx 845品．
对于受支万博1manbetx持的产品，IEC认证s manbetx 845套件包括以下工件:
- TÜV SÜD证书及证书报告
- 参考工作流
- 工具资格计划
- 工具一致性演示模板
- 测试用例，程序和结果
您需要在MATLAB或Polyspace安装环境中执行IEC Qualification Kit中的测试用例和过程。然后，您应该将生成的测试结果与工具包的预期结果进行比较，并努力消除任何差异。
使用IEC认证套件对符合功能安全标准的代码生成和验证工具进行认证。
IEC认证套件为使用基于模型的设计开发和验证系统提供了详细的工作流程指导。工作流指南描述了软件安全生命周期中用于每个软件开发和验证子阶段的过程、方法和工具，从高级需求验证到可执行对象代码验证。
使用IEC认证套件，您可以生成可追溯矩阵电子表格，显示到代码型双向可追溯性路径和文件信息。您还可以使用IEC Certification Kit来生成您可以存储和存档的报告错误列表万博1manbetx和Polyspace用于基于模型的设计的工具。
注意:使用经过认证的工具并不保证考虑中的软件或系统的安全性。
系统认证。
MISRA - C检查
确认Model Advisor检查以改进MISRA C:2012的符合性
ISO 26262指南
使用ISO建模指南可提高对ISO 26262的遵守情况
高密度脂蛋白编码器
使HDL编码器符合ISO 26262, IEC 61508, EN 50128, IEC 62304和ISO 25119
ISO 25119：2018
确保工具符合ISO 25119:2018功能安全标准
ISO 26262:2018
确保工具符合ISO 26262:2018功能安全标准
ISO 26262的AutoSAR块集
限定嵌入式编码器生成的C代码为AutoSAR块集的Autosar Classic和C ++代码的C代码
SOTIF参考工作流
了解基于模型的设计的作用，为ISO / PAS 21448：2019（SOTIF）
看到发行说明有关这些特性和相应功能的详细信息。
