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