TRACE32® 工具鉴定支持工具包 ( TQSK )

综述

您值得信赖的功能安全工具

功能安全是安全关键型嵌入式系统的关键要求。鉴定还包括所使用的开发工具及其与项目环境的集成。我们经过认证的工具鉴定支持工具包(TQSK)可为您提供鉴定我们的TRACE32 解决方案所需的一切。不同的 TQSK 变体可证明代码覆盖、调试和指令集simulator 在航空电子、医疗、汽车、铁路或一般工业项目中的适用性,并缩短产品上市时间,减少工作量和成本。

收益

最大程度减少工具鉴定工作

虽然您必须提供证据证明所使用的所有工具都值得信赖,但我们可以为您提供支持,确保您能以最小的代价完成最终鉴定。我们的TRACE32 TQSK 包括执行和完成每个安全等级的工具鉴定所需的所有工件和框架。

减少工作量和成本

我们的TRACE32 工具鉴定支持工具包可简化工具鉴定工作并降低成本。它包括工件、模板和测试用例,您可以针对不同的项目和架构轻松采用。

测量所有用例的代码覆盖率

我们的测试套件 - 覆盖范围包括语句和分支覆盖范围、MC/DC、条件、函数和调用覆盖范围。它支持 C 语言的源代码覆盖、可执行目标代码的汇编级覆盖,以及增量和 SPY 代码覆盖模式。

为所有常见调试任务使用测试用例

我们的测试套件 - 调试为所有常见调试任务提供测试用例,如目标配置、加载/编程可执行文件、启动/停止程序执行、访问变量/内存映射资源以及配置设备进行跟踪。它支持对称/非对称多处理(SMP/AMP)。

遵守汽车和其他安全标准,值得信赖

尽管 ISO 26262 并不要求这样做,但我们还是接受了 TUEV Nord 的评估,以建立对我们的预认证和由此产生的工具认证支持工具包的信心。由于采用了类似的资格认证流程,因此评估结果也可用于其他安全标准。

享受工具鉴定方面的全面支持和服务

我们的TRACE32 TQSK 客户接口可为刀具鉴定提供全面支持和服务。您可以像使用我们的其他产品一样,利用我们世界一流的工具鉴定支持。

涵盖未来的使用案例和需求

我们的TRACE32 TQSK 功能齐全,经过现场验证,可满足新的用例和要求。 例如,如果您现在或将来要为人工智能加速器或 DSP 使用特殊指令集,我们也可以为您提供基于我们 TQSK 的解决方案。

使用真实目标和模拟器测试套件

所有测试套件均可在您的目标环境以及我们的TRACE32 指令集模拟器中运行。目前,我们为 TriCore(包括 TC4x)和 M68060 指令集模拟器提供测试套件,近期还将为Arm 指令集Simulator 提供更多测试套件。

支持的安全标准

适用于所有嵌入式应用的 TQSK

一些安全关键型行业需要遵守安全标准。一些安全标准侧重于安全软件开发流程,另一些则侧重于系统安全要求。我们的 TQSK 涵盖了嵌入式系统开发过程中需要满足的所有关键标准,以确保产品的功能安全。

tqsk_IEC61508
概况

IEC 61508
伞形标准

IEC 61508 是总括性安全标准。它涵盖电气、电子和可编程电子安全相关系统。该标准通过安全完整性等级(SIL 1-4)确保降低风险。

tqsk_ISO26262
概况

ISO 26262
汽车

ISO 26262 是汽车行业的安全标准。它涵盖了量产汽车的电气和电子系统。该标准使用汽车安全完整性等级(ASILs A-D)来衡量风险。

tqsk_IEC62304
概况

IEC 62304
医疗器械

IEC 62304 是医疗器械行业使用的安全标准。它涵盖软件生命周期流程。该标准使用软件安全分类(A-C 级)来设定基于风险的要求。

tqsk_do178c
概况

DO 178C
航空电子设备

DO-178C 是机载系统软件的认证标准。它侧重于软件生命周期过程的目标。DO-178C 通过检测系统故障情况的影响,确定了五个安全等级。

tqsk_EN-50128
概况

EN 50128
铁路 

欧洲标准 EN 50128 规定了用于铁路控制和保护应用的可编程电子系统软件的开发流程和技术要求。

资格审查过程

我们的两阶段资格审查流程如何为您服务

虽然包括我们在内的每个工具供应商都可以对其工具进行预鉴定,但最终鉴定必须在您的特定项目环境中自行完成。原因在于,供应商的预鉴定环境通常与您的环境不同,包括不同的目标架构、工具链、主机接口和主机操作系统。如果您的项目环境中仅有一个参数与供应商用于资格预审的环境不同,则必须对测试用例和文档进行调整,以进行最终的工具资格鉴定。

为了支持您对我们的TRACE32 调试和跟踪工具进行鉴定,我们准备了鉴定过程所需的文件,为我们工具的每种使用情况开发了适当的测试套件,进行了预鉴定,并以工具鉴定支持工具包 (TQSK) 的形式向您提供了由此产生的数据。您可以根据自己的芯片/架构轻松采用预鉴定的测试套件。

测试套件 - 覆盖范围 

通过以下芯片/架构的资格预审:

  • TI Hercules RM57Lx -Arm Cortex-R5
  • 恩智浦 MPC5777M - PowerPC MPC55xx
  • 英飞凌 Aurix TC297TF - 三核 TC27x
  • ST Microelectronics Stellar SR6P7G7 -Arm Cortex-R52
  • 恩智浦 MPC565 - PowerPC MPC500
  • NXP M68060 - 68060

测试套件 - 调试 

通过以下芯片/架构的资格预审:

  • 英飞凌 Aurix TC297TF - 三核 TC27x


测试套件Simulator

在您的安全相关项目中鉴定TRACE32 指令集模拟器 

我们还为 TriCore(包括 TC4x)和 M68060 指令集模拟器提供测试套件。合格的指令集simulator 是项目软件模块测试阶段公认的测试环境,具有以下优势:

  • 产品软件鉴定可在产品硬件可用之前开始。 
  • 即使是在一个分散的团队中,也能很好地组织对产品软件的鉴定,因为所有必要的东西都是纯软件的。 
  • 如果在这一阶段由于缺乏开发硬件或调试/跟踪工具而出现瓶颈,可以很容易地为额外的测试台配备模拟器。
PowerView_ISS_3D+TQSK