For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

软件质量和所支持的标准

AutomationDesk 已通过 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产品的软件质量。该部门主要进行软件升级提高,制定内部标准,进行内部评估,并为所有软件团队提供咨询服务。它具有高度的独立性,并始终确保最高的产品质量。

AUTOSAR

作为汽车电气/电子 (E/E) 架构的事实标准,AUTOSAR 含有应用功能与基本系统功能之间的通信接口规范。 TargetLink AUTOSAR Module使得 TargetLink 的建模、仿真和代码生成特征适用于设计 AUTOSAR 软件组件 (SWC)。

FMI:

Functional Mock-Up Interface (FMI) 是一种开放式标准,在不依赖于工具的情况下交换和集成不同工具供应商提供的被控对象模型。将来自TargetLink 的FMU导出至支持 FMI 的仿真环境中

ASAM MCD-2 MC (ASAP2)

测量和标定的内部ECU变量可以在描述格式ASAM MCD-2 MC中定义。 因为代码生成器也需要与标定系统有紧密联系,TargetLink可以为标定工具将标定数据导出为ASAM-MCD 2MC文件。

MISRA C

英国的MISRA C 标准 (MISRA: 汽车工业软件可靠性联会 www.misra.org.uk)在汽车工业中是一个被广泛接受的项目C子集。它的目的是定义规则,以避免软件工程师手动编写软件时可能出现的常见软件错误。 大部分规则对于机器生成的代码很有效果。 TargetLink 生成的代码与绝大多数 MISRA 规则相符合。如果由于技术问题偏离了MISRA C标准,他们就会进行认定和记录。dSPACE 根据所有的TargetLink 用户的要求为他们提供关于TargetLink MISRA C适用性的详细文档。 有关更多信息,请联系 TargetLink.Info@dspace.de

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 提供的各种工具,用于实现要求规格、自动测试矢量生成、通过模型检查进行要求验证和格式验证

Further Information Related Topics