我们构建TargetLink，以用于开发安全关键系统。15年来，TÜV Süd每年都对TargetLink重新进行ISO 26262认证，确认其适用于包括最高ASIL-D在内的所有ASIL级别。当然，我们一致和严格的开发方法使TargetLink也适用于其他标准，例如ISO 25119、IEC 61508或DO-178C。
TargetLink已通过ISO 26262、ISO 25119和IEC 61508认证
TargetLink通过了TÜV SÜD（德国国际认证机构）的认证，可用在安全相关系统的开发应用中。根据 ISO DIS 25119 、ISO 25119、IEC 61508 和衍生标准（例如规定了铁路安全相关软件的 EN 50128），TÜV 证实了 TargetLink 适用于软件开发。认证基于几个方面：
- TargetLink 软件的开发过程和修改过程
- 问题处理步骤
- 根据 IEC 26262 ，ISO 25119和 ISO DIS 61508，证实了其适用于安全相关开发
TÜV SÜD 批准了一项参考工作流程，该流程为使用 TargetLink 进行基于模型的安全相关软件开发提供了指导。IEC 61508 是国际公认的安全相关电子系统开发的通用标准。ISO 26262是道路车辆安全相关系统的国际性汽车标准。ISO 25119也是一项国际标准，其可用于评估农业和林业拖拉机和其他机械控制系统中安全相关组件的开发。这两个标准都是从IEC 61508衍生出来的。
兼容ISO/IEC 15504的开发流程
ISO/IEC 15504，也称 SPICE：SPICE（软件过程改进和能力确定 ，英文全称为Software Process Improvement and Capability Determination）是评估软件过程的国际标准。其基本概念是一个成熟的软件产品需要一个成熟的开发过程。dSPACE致力于提供符合ISO / IEC 15504标准开发过程。
内部软件质量管理
dSPACE的质检部门是一支内部的质量管理的队伍，其致力于管理dSPACE产品的软件质量。该部门主要进行软件升级提高，制定内部标准，进行内部评估，并为所有软件团队提供咨询服务。它具有高度的独立性，并始终确保最高的产品质量。
DO-178C/DO-331
DO-178C已成为未来航空软件开发的相关标准，其为航空业中基于模型的设计和自动代码生成打下了坚实的基础。我们为此专门编写了基于模型的开发和验证文档 DO-331，它是 DO-178C 和 DO-278A 的补充文档，也是该标准的一部分。因此 dSPACE 发布此工作流程文档旨在介绍在符合DO-178C 的项目中如何在基于模型的工具链中使用 TargetLink。此工作流程文档描述了如何满足 DO-178C/DO-331 单个要求或目标该文档不仅针对 TargetLink 本身，还针对整个基于模型的工具链，其中工具链可能含有其他的第三方工具，比如 BTC Embedded Systems、AbsInt 和 Model Engineering Solutions 等 TargetLink 合作伙伴提供的工具。因此工作流程文档在符合DO-178C的应用中对于简化TargetLink所生成代码的认证发挥了重要作用，能解决重要性高达 A 级的所有问题。如果您想下载这60页的文档，请联系TargetLink.Info@dspace.de
TargetLink和DO-178C/DO-331概况
- 用于指定高级别要求的Simulink ® /TargetLink模型
- 用于指定低级别要求TargetLink 设计模型
- 使用 TargetLink 模型生成高质量、易读、可跟踪的源代码
- 按照现有的 MIL/SIL/PIL 验证概念为模型和代码提供全面的仿真支持
- 强大的工具链含有 BTC Embedded Systems 提供的各种工具，用于实现要求规格、自动测试矢量生成、通过模型检查进行要求验证和格式验证