IEC认证套件(适用于iso26262及iec61508)

IEC认证套件(适用于iso26262及iec61508)

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

开始:

标准

甚么是iec61508、iso26262、ISO/PAS 21448、en50128、iec62304、iso25119、en50657及相关标准?

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

功能安全标准

使用基于模型的设计工作流来显示符合功能安全标准。

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认证套件遵循基于典型工作流程或用例的工具认证或鉴定的上下文方法。金宝app该工作流程根据ISO 26262处理ASIL A-ASIL D风险级别,根据ISO 25119处理所有SRL级别,根据IEC 61508、EN 50128和EN 50657处理所有SIL级别。申请人必须在引用的工作流程以及申请人项目的认证计划中指定的约束和用例中使用这些工具。

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

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

IEC认证套件提供了上述步骤的指导和信息,并包括认证所需的文档模板、测试用例和测试程序金宝app符合适用标准的支持产下载188bet金宝搏品

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

  • TÜV SÜD证书及证书报告
  • 参考工作流
  • 刀具确认计划
  • 工具一致性演示模板
  • 测试用例、过程和结果

您需要在MATLAB或Polyspace安装环境中执行IEC Qualification Kit中的测试用例和过程。然后,您应该将生成的测试结果与试剂盒的预期结果进行比较,并努力消除任何差异。

工具资格

使用IEC认证套件来验证代码生成和验证工具是否符合功能安全标准。

认证系统

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

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

注意:使用经过认证的工具并不能确保软件或系统的安全性。