Symtavision—分布式嵌入式系统时间建模分析和验证工具

Symtavision工具为Luxoft公司提供的一款分布式嵌入式系统时间特性建模、分析和验证工具，主要应用于汽车领域。经纬恒润联合Symtavision工具厂商能够为客户提供完整的系统级时间特性建模、分析和验证工具链以及项目咨询服务。

Rhapsody — MBSE 开发工具

Rhapsody是基于UML/SysML的模型驱动开发集成环境，专注于嵌入式和实时系统。通过Rhapsody的模型驱动体系，可以快速地将应用模型部署到实时嵌入式操作系统。Rhapsody 适应迭代设计与开发，软件开发可以在宿主机环境持续的执行和验证，继而生成嵌…

Romax Nexus—变减速器设计研发平台

Optimus—多学科仿真集成与优化设计平台

Optimus是比利时Noesis Solutions公司专注研发的一款多学科仿真集成与优化设计软件产品。通过Optimus平台，可管理多学科的仿真流程及数据，自动显示和探索设计空间，进行产品设计过程中的自动性能优化，实现多学科、多指标参数的均衡优化，能对产品…

AbsInt与Infineon合作推出面向AURIX的时间分析工具链

AbsInt公司与Infineon公司的合作十分紧密，此次AbsInt公司推出了新版本的TimeWeaver工具，并扩展支持Infineon公司的32位TriCore AURIX系列微处理器。TimeWeaver是一款分析程序中任务/代码段最差情况运行时间(WCET)的工具。

MACH SYSTEMS—总线接口转换工具

Stimulus—需求形式化建模和分析工具

加快产品开发的正确途径

企业需要什么--以及他们在哪里

深入产品线的配置管理