15vip太阳集团作为受邀参展的企业之一，将携多款解决方案亮相此次盛会。我们的系统软件工程化解决方案、嵌入式系统软硬件开发解决方案以及系统仿真与测控解决方案，都代表了15vip太阳集团在汽车技术领域的深厚积累和创新能力。我们期待通过此次活动，与业界同仁共同探讨汽车前沿技术，分享行业经验，推动汽车产业的高质量发展。

3、基于模型的软件设计和代码自动生成工具解决方案

基于模型的软件设计和代码自动生成工具支持对控制系统软件及显示系统软件的建模，支持高安全嵌入式软件的设计以及代码生成，主要功能包括：

（1）控制系统软件详细设计：

支持数据流、控制流、状态机等建模能力，用于满足高安全软件设计要求。

（2）显示系统软件详细设计：

支持通用显示画面设计，图符接口、逻辑与显示交互接口，用于设计传统显示系统架构下的显示软件。

（3）支持控制软件模型和显示软件模型联合设计及联合仿真。

（4）支持从控制系统软件模型和显示系统模型生成产品级代码。

4、TSN网络仿真软件——RTaW pegase

RTaW-Pegase用于设计、优化网络，适用于汽车、航空航天和工业以太网TSN网络,CAN(FD、XL),LIN,Arinc以及无线网络（离线通信）。除了精准的时序仿真，RTaW-Pegase还可以计算通信延迟和缓冲区的使用上限，并提供先进的自动配置技术，以确保硬件和软件组件的正确性以及网络架构优化。

5、编译器测试与验证套件

SuperTest是面向C和C++编译器及库的测试与验证套件，伴随（ISO）语言规范已有30多年的历史。它是一个完整的验证环境，具有：

• 海量的手写测试用例；

• 大量生成的测试用例；

• 可配置的测试驱动程序，可轻松设置和运行验证

• 可生成报告，提供多种格式（包括 HTML 和 JUnit XML）验证结果的全面概述，并将立即识别与指定引用相比的最新编译器和库版本的回归。

SuperTest套件涵盖以下 ISO 规范：

SuperGuard C库安全认证套件是针对C标准库的基于需求的测试套件，可实现ISO C语言定义的需求和单个库测试之间的完全可追溯性。它被设计用来支持对安全关键应用程序的C标准库实现的确认，包括第三方(COTS)和自己开发或维护的C库实现。