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)、Arm 和 M68060 指令集模拟器提供测试套件,近期还将为Arm 指令集Simulator 提供更多测试套件。
适用于所有嵌入式应用的 TQSK
一些安全关键型行业需要遵守安全标准。一些安全标准侧重于安全软件开发流程,另一些则侧重于系统安全要求。我们的 TQSK 涵盖了嵌入式系统开发过程中需要满足的所有关键标准,以确保产品的功能安全。
我们的两阶段资格审查流程如何为您服务
虽然包括我们在内的每个工具供应商都可以对其工具进行预鉴定,但最终鉴定必须在您的特定项目环境中自行完成。原因是供应商的预审环境通常与您的环境不同,包括不同的目标架构 、工具链、主机接口和主机操作系统。如果您的项目环境中仅有一个参数与供应商用于预审的环境不同,则必须对测试用例和文档进行调整,以便进行最终的工具鉴定。
为了支持您对我们的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
免费下载个性化版本的TRACE32 TQSK
如果您对我们的TRACE32 工具鉴定支持工具包感兴趣,请在我们的TRACE32 TQSK 客户界面注册。注册后,您可以下载个性化版本的TRACE32 TQSK。
在您的安全相关项目中鉴定TRACE32 指令集模拟器
我们还为 TriCore(包括 TC4x)和 M68060 指令集模拟器提供测试套件。合格的指令集simulator 是项目软件模块测试阶段公认的测试环境,具有以下优势:
- 产品软件鉴定可在产品硬件可用之前开始。
- 即使是在一个分散的团队中,也能很好地组织对产品软件的鉴定,因为所有必要的东西都是纯软件的。
- 如果在这一阶段由于缺乏开发硬件或调试/跟踪工具而出现瓶颈,可以很容易地为额外的测试台配备模拟器。