IEC认证套件(适用于ISO 26262和IEC 61508)
为ISO 26262和IEC 61508认证鉴定代码生成和验证工具
IEC认证套件提供工具鉴定工件、证书和测试套件，并生成可追溯性矩阵。该工具包帮助您鉴定MathWorks代码生成和验证工具，并简化嵌入式系统的ISO认证®26262、IEC 61508、EN 50128、ISO 25119和相关功能安全标准，如IEC 62304和EN 50657。认证机构TÜV SÜD提供的证书和评估报告包含在测试包中万博1manbetx支持的产品和标准s manbetx 845.
IEC认证套件提供ISO 26262工具鉴定和分类工作产品以及测试套件。它包括允许您调整工作产品以满足特定项目需要的模板。您可以生成特定于项目的工件，包括覆盖需求、模型s manbetx 845和生成的代码的跟踪矩阵。特定于项目和产品的工件可以结合起来，为所有ASIL级别（ASIL a到ASIL D）的嵌入式系统认证生成一个完整的符合ISO 26262的工具鉴定包。
注：ISO26262:2018规定Simulink和Statef万博1manbetxlow适用于软件体系结构和软件单元设计符号，并作为自动代码生成的基础，如图所示在这里.
开始：
IEC 61508(电气/电子/可编程电子安全相关系统的功能安全)是一个国际的，工业独立的功能安全标准。七部分标准跨度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:2018涉及软件开发、验证和确认。它包括使用基于模型的设计和代码生成的项目指南。ISO 26262-8涉及多个跨职能主题，包括软件工具的分类和鉴定。工具鉴定所需的严格程度基于工具分类等级（TCL）和汽车安全完整性等级（ASIL）A至D。
ISO/PAS 21448:2019（道路车辆-预期功能的安全或SOTIF)是一个补充标准，提供工程（设计、验证和确认）措施指南，以解决因功能不足和在ISO 26262中未解决系统故障的情况下人员可预见的误用而导致的系统危害。
EN 50128（铁路应用-铁路控制和保护系统软件）是一种欧洲标准，规定了铁路控制和保护应用中可编程电子系统开发的程序和技术要求。EN 50128，由欧洲电工标准化委员会（CENELEC）制定，是代表IEC 61508标准系列铁路应用特定解释的一系列标准的一部分。
IEC 62304(医疗设备软件-软件生命周期过程)是描述医疗设备软件所需的软件开发和维护过程的国际标准。所需的过程、任务和活动受到设备软件的危险(对病人、护理人员或环境的风险)水平的影响。IEC 62304没有直接解决软件工具资格问题。然而，它指出，IEC 61508可被视为可用于实现IEC 62304要求的方法、工具和技术的来源。地区权威机构(如FDA)关于工具验证的附加指导可在FDA软件验证页面.
ISO 25119:2018（农林拖拉机和机械-控制系统的安全相关部件）是一项国际标准，规定了农林拖拉机和其他机械控制系统（SRP/CS）安全相关部件的评估、设计开发和验证原则。根据本标准，证明软件工具或计算机辅助设计（CAD）工具可以通过测试、经过验证的论证或对其输出的独立验证来实现。
EN 50657:2017（铁路应用-机车车辆应用-机车车辆上的软件）是一项欧洲标准，规定了铁路机车车辆应用软件的开发、部署和维护要求。根据IEC 61508-3，对软件工具的要求源自对软件工具的要求。
当申请人应用支持的工具为符合功能安全标准或标准认证的应用开发或验证软件时，IEC认证工具包遵循基于典型工作流程或用例的工具认证或鉴定上下文方法。该工作流程根据ISO 26262处理ASIL A–ASIL D风险等级，根据ISO 25119处理所有SRL等级，根据IEC 61508、EN 50128和EN 50657处理万博1manbetx所有SIL等级。申请人必须在参考工作流程内以及申请人项目认证计划中规定的约束和用例内使用工具。
IEC认证工具包旨在帮助您使用MATLAB向认证机构提供完整的认证包®、S万博1manbetximulink和Polyspace产品。要使用Is manbetx 845EC认证套件，请遵循以下步骤：
- 记录是否符合相关功能安全标准的要求以及您的预期使用情况。
- 向认证机构提出初始认证计划。
- 收集工具提供的工件，如TÜV SÜD证书，并执行独立于应用程序的工具鉴定活动，包括执行产品测试套件。
- 使用IEC认证套件提供的可追溯性矩阵生成能力，执行特定于应用程序的工具鉴定活动，例如生成模型到代码的可追溯性。
- 向认证机构提供完整的认证包。
IEC认证工具包提供了上述步骤的指南和信息，并包括您需要的文档模板、测试用例和测试程序，以鉴定万博1manbetx符合适用标准的支持产s manbetx 845品.
对于支持万博1manbetx的产品，IEC认证套s manbetx 845件包括以下构件：
- TÜV SÜD证书和证书报告
- 参考工作流
- 工具鉴定计划
- 工具一致性演示模板
- 测试用例、过程和结果
您需要在MATLAB或Polyspace安装环境中执行IEC鉴定工具包中的测试用例和程序。然后，您应该将生成的测试结果与工具包中的预期结果进行比较，并努力消除任何差异。
使用IEC认证套件来鉴定代码生成和验证工具是否符合功能安全标准。
IEC认证工具包提供了使用基于模型的设计开发和验证系统所需的详细工作流程指南。工作流指南描述了用于软件安全生命周期中每个软件开发和验证子阶段（从高级需求验证到可执行目标代码验证）的过程、方法和工具。
使用IEC Certification Kit，您可以生成一个可跟踪矩阵电子表格，显示从需求到模型到代码的双向可跟踪路径和文件信息。您还可以使用IEC Certification Kit生成报告的bug列表，您可以存储并存档这些bug万博1manbetx和多空间用于基于模型的设计的工具。
注意：使用经认证的工具不能确保所考虑的软件或系统的安全。
