IEC认证套件(适用于ISO 26262及IEC 61508)

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

IEC认证套件提供刀具资格伪影,证书和测试套件,并产生可追溯性矩阵。该套件可帮助您限定Mathworks代码生成和验证工具并将嵌入式系统的认证简化为ISO®26262,IEC 61508,EN 50128,ISO 25119及相关的功能安全标准,如IEC 62304和EN 50657.认证机构TÜVSüd的证书和评估报告包括在套件中金宝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,ISO 25119,EN 50657及相关标准?

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(道路车辆 - 预期功能的安全性或SITIF是一种互补标准,为工程(设计,验证和验证)措施提供指导,以解决由ISO 26262中缺乏系统故障的功能不足和可预见的人滥用的系统危害。

EN 50128(铁路应用 - 铁路控制和保护系统软件)是一种欧洲标准,指定用于开发可编程电子系统的程序和技术要求,用于铁路控制和保护应用。欧盟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根据ISO 26262,根据ISO 25119的所有SRL级别和根据IEC 61508,EN 50128和EN 50657的所有SRL级别地址。申请人必须使用引用的工作流程中的工具和内部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认证套件提供特定于特定于应用的刀具资格认证活动,例如生成典型码可追溯性。
  5. 向认证机构提供已完成的认证包。

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

对于支持金宝app的产品,IEC认证套下载188bet金宝搏件包括这些文物:

  • TÜV南申州证书和证书报告
  • 参考工作流程
  • 工具资格计划
  • 工具一致性演示模板
  • 测试用例、过程和结果

您需要在Matlab或PolySpace安装环境中执行来自IEC资格套件的测试用例和过程。然后,您应该将生成的测试结果与套件的预期结果进行比较,并努力消除任何差异。

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

认证系统

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

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

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