IEC认证工具包(ISO 26262和IEC 61508)
代码生成和验证工具有资格获得ISO 26262和IEC 61508的认证
IEC认证工具包提供了工具合格工件,证书,测试套件,并生成矩阵的可跟踪性。工具可以帮助您资格MathWorks代码生成和验证工具和简化你的嵌入式系统ISO认证®26262年,IEC 61508,在50128年,ISO 25119和IEC 62304等相关功能安全标准EN 50657。证书和证书颁发机构TUV SUD的评估报告中包括的工具金宝app支持产品和标准下载188bet金宝搏。
IEC认证工具包提供了ISO 26262工具确认和分类工作产品,以及测试套件。下载188bet金宝搏它包括模板,让你适应工作产品来满足特定的项目需求。下载188bet金宝搏您可以生成特定项目的工件,包括跟踪矩阵覆盖要求,模型和生成的代码。项目和特定于产品的工件可以组合在一起以产生一个完整的ISO 26262 -兼容的工具为嵌入式系统认证资格包所有ASIL (ASIL通过ASIL D)水平。
注意:ISO26262:2018状态模型和Stateflow适合金宝app软件体系结构和软件单元设计符号为基础自动代码生成,如图所示在这里。
开始:
IEC 61508(功能安全的电气/电子/可编程电子安全相关系统)是一个国际,industry-independent功能安全标准。发表标准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)一个D。
ISO / PAS 21448:2019(公路车辆的安全目标功能或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)工具可以通过测试,proven-in-use参数或由独立验证他们的输出。
EN 50657: 2017(铁路应用程序-车辆应用软件上车辆)是一个欧洲标准,指定要求开发、部署和维护的软件用于铁路机车车辆的应用。软件工具的需求是来自于要求根据IEC 61508 - 3软件工具。
IEC认证工具包是一个语境的方法基于一个典型的工作流工具认证或资格或用例当申请人支持工具适用于开发或验证软件功能安全标准兼容或standard-certified应用程序。金宝app工作流处理风险水平ASIL A-ASIL根据ISO 26262 D,所有SRL水平根据ISO 25119和SIL水平根据IEC 61508,在50128年和在50657年。申请人必须在引用的工作流和使用这些工具在约束和用例中指定的认证申请人的项目的计划。
IEC认证工具包旨在帮助您提供一个完整的包使用MATLAB认证机构认证®、仿金宝app真软件和Polyspace产品。下载188bet金宝搏使用IEC认证工具包,遵循这些步骤:
- 文件符合相关功能安全标准的要求和你的用例。
- 提出一个初始认证机构认证计划。
- 收集工具的构件(如技术人员资格证书和执行应用独立工具活动,包括产品的执行测试套件。
- 执行特定于应用程序的工具资格等活动使用追溯matrix-generation生成模型到代码的可追溯性能力IEC认证工具包提供了。
- 提供认证机构完成的认证方案。
IEC认证工具包提供了指导和信息上面的步骤,包括文档模板、测试用例和测试程序,你需要有资格的金宝app支持产品符合适用的标下载188bet金宝搏准(s)。
支持产品金宝app,IEC认证工具包包下载188bet金宝搏括这些工件:
- 德国莱茵SUD证书和证书报告
- 参考工作流
- 工具资格计划
- 工具一致性演示模板
- 测试用例、过程和结果
您需要执行的测试用例和规程IEC资格工具MATLAB或Polyspace安装环境中。你应该比较生成的测试结果与预期结果的工具,努力消除任何差异。
利用IEC认证工具包资格代码生成和验证工具符合功能安全标准。
