Adams— 系统级多体动力学仿真平台

Model Inspector — 软件模型静态规范检查工具

Actran助力汽车全频率段声学响应预测与优化

Actran是一款专业的声学仿真求解软件，被广泛应用于汽车行业、工业机械行业及家用电器行业。Actran能够模拟振动辐射噪声、气动噪声等声固耦合问题，帮助工程师了解其设计产品的声学特征，并在设计初期指导改型工作。

White Source SAST—信息安全测试工具

White Source的SAST产品提供了软件漏洞检测的解决方案：专注于创建自定义代码漏洞检测、优先级和自动修复，使开发人员能够快速轻松地识别和修复重要的软件风险。

SafeTpack — 基于 AURIX 2G 实现功能安全目标

SafeTpack 是基于英飞凌 AURIXTM 第二代微控制器的安全相关系统中必不可少的元素。按照道路车辆功能安全标准ISO 26262 的定义，AURIXTM 微控制器硬件和 SafeTpack 软件可作为电子 / 电气系统的组成部分一起使用。SafeTpack 由 Hitex 公司根据 ISO 26262-10 作为…

AUTOSAR Builder—符合AUTOSAR（CP/AP）的嵌入式系统设计工具

Intrepid—总线采集测试仿真工具

TISC—系统多学科协同仿真平台

AbsInt — 确保代码安全的静态性能分析工具

符合功能安全要求的动态测试工具-TESSY