IEC认证套件(对于ISO 26262和IEC 61508)
认证ISO 26262和IEC 61508认证的代码生成和验证工具
IEC认证Kit提供工具资格伪影,证书,和测试套件,并产生可跟踪性矩阵。该套件可帮助您符合您的嵌入式系统的MathWorks的代码生成和验证工具,简化认证ISO®26262、IEC 61508、EN 50128、ISO 25119及相关功能安全标准,如IEC 62304、EN 50657。来自认证机构TÜV SÜD的证书和评估报告包含在工具包中金宝app支持的产品和标准下载188bet金宝搏。
IEC认证套件提供ISO 26262工具鉴定和分类工作产品,以及测试套件。下载188bet金宝搏它包括允许您调整工作产品以满足特定项目需求的模板。下载188bet金宝搏您可以生成特定于项目的工件,包括覆盖需求、模型和生成代码的可跟踪矩阵。特定于项目和产品的工件可以结合起来产生一个完整的ISO 26262兼容的工具认证包,用于所有ASIL级别(ASIL a到ASIL D)的嵌入式系统认证。
注:ISO26262:2018条规定,Simulink和Stat金宝appeflow的适用于软件体系结构和软件单元设计符号和自动代码生成的基础,如图所示这里。
开始:
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认证工具包,请按照下列步骤操作:
- 记录符合相关功能安全标准的要求和您的预期用例。
- 向认证机构提出初步认证计划。
- 收集工具提供的伪像,例如TÜVSÜD证书和执行应用程序无关的工具资格的活动,包括产品测试套件的执行。
- 执行特定于应用程序的工具确认活动,例如使用IEC Certification Kit提供的可追溯矩阵生成能力生成模型到代码的可追溯性。
- 提供完整的认证包以权威部门认证。
IEC认证工具包提供了上述步骤的指导和信息,包括文档模板,测试用例和测试程序,你需要限定金宝app支持的产品符合适用的下载188bet金宝搏标准(S)。
对于受支金宝app持的产品,IEC认证下载188bet金宝搏套件包括以下工件:
- TÜVSÜD证书和证书报告
- 参考工作流
- 工具资格计划
- 工具的一致性示范模板
- 测试用例,程序和结果
您需要在MATLAB或Polyspace安装环境中执行IEC Qualification Kit中的测试用例和过程。然后,您应该将生成的测试结果与工具包的预期结果进行比较,并努力消除任何差异。