JetBrains Intellij IDEA Ultimate

Altair VisSim是一款强大的系统级仿真软件，可以用于模拟和分析各种控制系统、信号处理系统和动态系统。该软件具有直观的图形用户界面，可以快速构建模型，并进行仿真和调试。Altair VisSim支持多种模型类型，包括连续时间、离散时间、混合系统和事件驱动系统。它还支持多种仿真算法，包括欧拉法、龙格-库塔法、后向欧拉法和自适应步长算法等。Altair VisSim还具有强大的数据分析和可视化功能，包括波形分析、频谱分析、信号滤波、数据采集和绘图等。用户还可以使用MATLAB和Simulink与Altair VisSim进行集成，以扩展其功能和灵活性。

Ansys SCADE Test 是一个完整的测试环境，用于需求验证以及测试案例的创建和管理。您可在主机和目标端为任何 SCADE 应用程序自动执行测试案例、测量覆盖范围和管理测试结果。测试创建和维护以及测试的执行和覆盖分析，都是十分耗时的工作。针对检验和验证 (V&V) 的 SCADE Test 可提供基于模型、经济高效的测试环境领域内的一流技术，帮助您显著减少测试工作。

AUTOSAR Builder是一款功能强大、灵活且开放的 AUTOSAR 创作和测试解决方案，可对车内嵌入式系统进行建模、测试和验证。它完全支持 AUTOSAR 标准，Classic 和 Adaptive 都在同一个环境中。AUTOSAR Builder 在 Artop 平台基础上实施，便于与其他符合 AUTOSAR 标准的工具无缝集成。AUTOSAR Builder 提供了一组专用的用户友好图形界面，支持不同的 AUTOSAR 开发角色。AUTOSAR Builder 是达索系统 CATIA Systems Engineering 产品组合的一部分。

Mentor Embedded是一款实时操作系统 RTOS），这是一款针对嵌入式设备互连的新一代高性能应用程序。软件开发人员首次可以使用单一的嵌入式操作系统，通过整个ARM内核的内存分区来提高系统可靠性，促进整个产品系列（包括高低端设备）的代码复用。

Vista是一个基于TLM 2.0的集成解决方案，用于建筑设计探索、验证和虚拟样机。Vista使系统架构师和SoC设计师能够做出可行的架构决策，并允许硬件和软件工程师在设计周期的早期验证他们的硬件和软件。这是通过在RTL阶段之前对复杂系统进行原型设计、调试和分析来实现的，建立一个可预测的、高效的设计过程，从而获得首次成功

Ansys SCADE Suite是一个基于模型的关键嵌入式软件开发环境。SCADE Suite具有本地集成的形式化 Scade 语言，是用于关键应用的集成设计环境，涵盖需求管理、基于模型的设计、仿真、验证和可限制/认证级代码生成，能够与其他开发工具和平台进行交互操作。