仿真 · MODEL BASED SIMULATION
Simu Workbench
参数驱动的多域验证 —— SysML 定参数，Modelica 管多领域，Julia 做求解，NS-3 / OMNeT++ 管网络；从 MIL 一路验到 LVC。
TwinSphere Platform
MBSE Workbench
MBD Workbench
Electronic Workbench
MDE Workbench
Simu Workbench
Mfg Workbench
Delivery Workbench
5G Delivery Workbench
Twin Workbench
系统建模定参数（SysML），Modelica 管多领域，Julia 做求解，NS-3 / OMNeT++ 管网络仿真 —— 分析不是另起一套数据，而是消费模型里的参数、把结论回写到模型。
演示
科学计算与优化 · 素材待接入
内置 Julia：把「够不够」算出来
性能问题往往不是一次仿真，而是「在约束下找最优」：覆盖、时延、容量、成本的多目标权衡。
- 优化求解：JuMP 建模 + 求解器，做参数寻优与容量规划
- 不确定性分析：SciML 生态 + 蒙特卡洛，给出指标区间而非单点值
- 与模型联动：输入取自 SysML 参数与 MoE 目标，输出回到台账与文档
演示
参数驱动 Modelica 仿真 · 素材待接入
设计参数直接进入仿真
映射系统建模（SysML）里的参数组，生成 Modelica 与 OMNeT++ 参数包，样机参数一路打通。
- 参数包自动生成：只读产物，改设计 = 改 SysML → 重新生成 → 重新求解
- 编译求解与后处理：Modelica 编译、仿真、结果曲线与数据导出
- 多域耦合：电 / 热 / 机械 / 流体同源建模，支持 FMI / FMU 联合仿真与代码生成
- 网络仿真：生成 OMNeT++ / NS-3 配置与模块骨架，链接系统级与网络级分析
演示
5G 信令面测试用例集 · 素材待接入
5G 信令面测试：协议正确性，仿真算不出来
网络仿真给的是统计意义上的性能（吞吐 / 时延 / 丢包）；但「这个核心网能不能真把终端接上、流程对不对、异常恢复不恢复得回来」——那是协议正确性与互通性问题，只能拿真实信令报文去测。
- 全量 3GPP ASN.1 协议栈：NGAP（N2）/ F1AP（F1）/ RRC / NAS / PDCP 按规范全量编解码，含 128-NIA2、SNOW3G 安全算法
- 信令流程用例库：注册 / 鉴权 / 安全模式 / 会话建立·释放·重活 / 去注册 / 寻呼 / GUTI 重注册 / 同步失败恢复 / 双向鉴权失败恢复 / 异常报文
- 三种测试模式：全包围（完整流程）· 单报文（按 PDU 类型收发与断言）· 多节点并发（多终端 / 多基站同时在线）
- 双接入链路：N2（基站直连核心网）与 F1（CU/DU 分离）各一套完整用例，支持对接真实核心网与无线侧网元
从 MIL 到 LVC：验证可信度逐级提升
同一份模型与同一套软件代码，在越来越「真」的回路里被验证
MIL · 模型在环：算法与系统模型在纯仿真环境中验证；
SIL · 软件在环：同一套软件代码接入仿真回路联调；
HIL · 硬件在环：真实控制器与硬件接入，由仿真替代真实环境；
LVC · 实况-虚拟-构造：实装、虚拟仿真与构造兵力联合运行，形成训练与验证环境。