ISO 26262和IEC 61508的IEC认证包

为ISO 26262和IEC 61508认证提供合格的代码生成和验证工具

IEC认证工具包提供了工具认证工件、证书和测试套件,并生成可跟踪性矩阵。该工具包帮助您限定代码生成和验证产品,并简化您的嵌入式系统到ISO的认证下载188bet金宝搏®26262, IEC 61508, EN 50128,以及相关的功能安全标准,如IEC 62304。来自认证机构TUV SUD的证书和评估报告包含在工具包中金宝app支持的产品和标准下载188bet金宝搏

IEC认证工具包提供了ISO 26262个工具认证和分类工作产品,测试套件一起。下载188bet金宝搏它包括让你适应工作的产品,以满足特定的项目需要的模板。下载188bet金宝搏您可以生成具体项目的文物,包括可追溯矩阵覆盖的要求,模型和生成的代码。项目和特定产品的伪影可以组合产生一个完整的ISO 26262 ASIL A-d工具认证包用于嵌入式系统的认证。

注:ISO26262:2018条规定,Simulink和Stat金宝appeflow的适用于软件体系结构和软件单元设计符号和自动代码生成的基础,如图所示在这里

开始:

标准

什么是IEC 61508,ISO 26262,ISO / PAS 21448,EN 50128,IEC 62304,及相关标准?

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

使用基于模型的设计工作流来显示对功能安全标准的遵从性。

ISO 26262(道路车辆-功能安全)是一项国际功能安全标准。它是IEC 61508的修订版,专门针对道路车辆行业中电气和电子系统的应用领域。它由10个部分组成:ISO 26262-1到ISO 26262-10。ISO 26262-6适用于软件开发、验证和验证。它包括对使用基于模型的设计和代码生成的项目的指导。ISO 26262-8涉及多个跨功能主题,包括软件工具的分类和鉴定。所需的严谨度工具资格是基于工具分类级别(TCL)和软件(ASILs)汽车安全完整性水平d . 2019年,补充标准出版解决安全系统应有的功能缺乏系统故障的情况下,ISO / PAS 21448 -公路车辆安全应有的功能(SOTIF)。

EN 50128(铁路应用-铁路控制和保护系统软件)是一种欧洲标准,规定了用于铁路控制和保护应用的可编程电子系统开发的程序和技术要求。由欧洲电工标准化委员会(CENELEC)开发的EN 50128是一系列标准的一部分,这些标准代表了IEC 61508标准系列的特定于铁路应用的解释。

IEC 62304(医疗器械软件 - 软件生命周期过程)是一个国际标准,它描述了医疗设备软件所需的软件开发和维护过程。所需的流程,任务和活动是由危险(风险患者,护理人员或环境)设备软件的水平的影响。危险等级划分为3个安全等级:A级 - 无伤害或损害健康是可能的,B类 - 非严重伤害是可能的,和C类 - 死亡或严重伤害的可能。IEC 62304并不直接针对软件工具的资格。然而,它指出IEC 61508可被看作一种的,可以用来实现对工具的验证区域机构如美国食品药品管理局62304附加指导IEC要求的方法,工具和技术的来源是可在FDA软件验证页面

IEC认证工具包包括了IEC 61508TÜVSÜD认证:2010,ISO 26262:2018,EN 50128:2011,IEC 62304:2006和IEC 61511:2003。它提供参考工作流程这些和其它标准,包括ISO / PAS 21448(SOTIF)。您也可以使用IEC认证工具包,以此为基础资格工具和使用基于模型的设计开发需要认证系统等IEC 61508相关标准和adaptions指导。

排位赛工具

向认证机构提供完整的认证包

IEC认证工具包跟随在上下文中的方法基于一个典型的工作流程或用例工具证书或资格当申请人申请支持的工具来开发或功能安全标准符合或标准认证的应用程序验证软件。金宝app工作流地址风险水平ASIL A-ASIL d根据ISO 26262,SIL 1-SIL 3.根据IEC 61508,和SIL 0-SIL 4根据EN 50128.申请人必须被引用的工作流内和约束范围内使用的工具和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ÜVSÜD证书和证书报告
  • 参考工作流
  • 工具资格计划
  • 刀具一致性演示模板
  • 测试用例、过程和结果

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

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

认证系统

IEC认证工具包提供了使用基于模型的设计开发和验证系统所需的详细工作流程指南。工作流指南描述了从高级需求验证到可执行目标代码验证的每个软件开发和验证步骤中使用的过程、方法和工具。

使用IEC认证工具包,您可以生成一个可跟踪矩阵电子表格,显示从需求到模型到代码的双向可跟踪路径和文件信息。您还可以使用IEC认证工具包来生成报告的bug列表,您可以存储和存档这些bug以供密钥使用金宝appPolyspace用于基于模型的设计的工具。

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

体系认证。

最新的特性

高密度脂蛋白编码器

资格HDL编码器到ISO 26262,IEC 61508,EN 50128,IEC 62304和ISO 25119

ISO 25119:2018

资格工具ISO 25119:2018功能安全标准

ISO 26262:2018

确保工具符合ISO 26262:2018功能安全标准

SOTIF参考工作流

了解基于模型的ISO/PAS 21448:2019 (SOTIF)设计的作用

用于ISO 26262的AUTOSAR块集

限定从AUTOSAR块集生成的用于AUTOSAR经典的C代码和用于AUTOSAR自适应的c++代码的嵌入式编码器

看到发布说明对任何这些特征和对应的功能的详细说明。