IEC Certification Kit提供工具鉴定工件、证书和测试套件,并生成可追溯矩阵。该套件帮助您确定MathWorks代码生成和验证工具的资格,并简化嵌入式系统的ISO认证®26262、IEC 61508、EN 50128、ISO 25119以及相关的功能安全标准,如IEC 62304和EN 50657。认证机构TÜV SÜD提供的证书和评估报告包含在支持的产品和标准2022世界杯八强谁会赢?.
IEC认证套件提供ISO 26262工具资格和分类工作产品,以及测试套件。2022世界杯八强谁会赢?它包括模板,允许您调整工作产品以满足特定的项目需求。2022世界杯八强谁会赢?您可以生成特定于项目的工件,包括覆盖需求、模型和生成的代码的跟踪矩阵。特定于项目和特定于产品的工件可以组合在一起,为所有ASIL级别(ASIL a到ASIL D)的嵌入式系统认证生产一个完整的ISO 26262兼容的工具资格包。
注:ISO26262:2018规定Simulink和Stateflow适用于软件体系结构和软件单元设计符号,并作为自动代码生成的基础,如下所示在这里.
开始:
IEC 61508(电气/电子/可编程电子安全相关系统的功能安全)是一个国际的、行业独立的功能安全标准。该标准由七个部分组成,涵盖了IEC 61508-1到IEC 61508-7。IEC 61508-3涉及软件开发、验证和验证。IEC 61508-3强烈推荐安全完整性级别(SILs) SIL 2及更高的认证工具和翻译器;第7.4.4条提供了支持工具的要求。
ISO 26262:2018(道路车辆功能安全)是一项国际功能安全标准。它是IEC 61508的改编,特别适用于道路车辆工业中电气和电子系统的应用部门。它由12个部分组成:ISO 26262-1:2018到ISO 26262- 12:18。ISO 26262- 6:18 2018涉及软件开发、验证和验证。它包括对使用基于模型设计和代码生成的项目的指导。ISO 26262-8处理了多个跨功能主题,包括软件工具的分类和确认。工具鉴定所需的严格程度是基于工具分类级别(TCL)和汽车安全完整性级别(ASIL) A到D。
道路车辆-预期功能或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认证套件遵循基于典型工作流或用例的工具认证或资格认证的上下文方法。工作流程根据ISO 26262处理ASIL A-ASIL D的风险级别,根据ISO 25119处理所有SRL级别,根据IEC 61508、EN 50128和EN 50657处理所有SIL级别。申请人必须在参考的工作流程和申请人项目的认证计划中指定的约束条件和用例内使用工具。
IEC认证套件旨在帮助您使用MATLAB提供一个完整的认证包给认证机构®、Simulink和Polyspace产品。2022世界杯八强谁会赢?要使用IEC认证套件,请遵循以下步骤:
- 记录符合相关功能安全标准要求和预期用例的情况。
- 向认证机构提出初始认证计划。
- 收集工具提供的工件,例如TÜV SÜD证书,并执行与应用程序无关的工具确认活动,包括产品测试套件的执行。
- 执行特定于应用程序的工具确认活动,例如使用IEC Certification Kit提供的可追溯矩阵生成功能生成模型到代码的可追溯性。
- 向认证机构提供完整的认证包。
IEC Certification Kit提供了上述步骤的指导和信息,并包括您需要的文档模板、测试用例和测试过程符合适用标准的支持产2022世界杯八强谁会赢?品.
对于支持的产品,IEC认证套2022世界杯八强谁会赢?件包括以下构件:
- TÜV SÜD证书和证书报告
- 参考工作流
- 工具资格计划
- 工具一致性演示模板
- 测试用例、过程和结果
您需要在您的MATLAB或Polyspace安装环境中执行来自IEC资格证套件的测试用例和过程。然后,您应该将生成的测试结果与套件的预期结果进行比较,并努力消除任何差异。