IEC认证套件(对于ISO 26262和IEC 61508)

IEC认证套件(对于ISO 26262和IEC 61508)

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

开始:

标准

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

IEC 61508(电气/电子/可编程电子安全相关系统的功能安全性)是国际,独立的功能安全标准。七分标准SPANS 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(铁路应用-铁路控制和保护系统软件)是一项欧洲标准,规定了开发用于铁路控制和保护应用的可编程电子系统的程序和技术要求。en50128由欧洲电工标准化委员会(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工作流程地址的风险等级ASIL A-ASIL d根据ISO 26262,根据ISO 25119和所有SIL各级SRL水平,符合IEC 61508,EN 50128和EN 50657.申请人必须引用的工作流中,并在内部使用的工具constraints and use cases specified in the certification plans of the applicant’s projects.

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

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

IEC认证工具包提供了上述步骤的指导和信息,包括文档模板,测试用例和测试程序,你需要限定金宝app支持的产品符合适用的下载188bet金宝搏标准(S)

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

  • TÜVSÜD证书和证书报告
  • 参考工作流
  • 工具资格计划
  • 工具的一致性示范模板
  • 测试用例,程序和结果

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

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

认证系统

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

使用IEC认证套件,您可以生成可追溯矩阵电子表格,显示到代码型双向可追溯性路径和文件信息。您还可以使用IEC Certification Kit来生成您可以存储和存档的报告错误列表金宝appPolyspace用于基于模型的设计的工具。

注意:使用认证的工具,不保证软件的安全性或正在考虑的系统。