MODEL-BASED NETWORK SIMULATION
基于模型的网络仿真解决方案
解决网络的「性能」与「正确性」两类问题：覆盖 / 时延 / 容量用参数驱动的网络仿真算得出，协议正确性与互通性拿真实信令报文测得准。
解决什么
解决网络的「性能」与「正确性」两类问题：覆盖 / 时延 / 容量用参数驱动的网络仿真算得出，协议正确性与互通性拿真实信令报文测得准。
解决什么
- 网络参数不是手填的，而是由 SysML 模型自动生成参数包，改设计即重算
- 系统级与网络级同一份模型：架构参数、拓扑与传播条件贯通，不再两套数据对不上
- 统计性能之外还验证协议正确性：注册、鉴权、会话建立与异常恢复要真跑通
- 仿真结论与现场实测对得上：规划值、验收值与模型参数一脉相承
典型场景
- 5G 专网规划与交付实施
- 网络级性能评估与信令面互通验证
- 覆盖与容量权衡、切片资源分配
关键能力与承载产品
能力清单与承载产品一一对应：能力落在哪个工作台，一眼看清。
关键能力
- 参数包自动生成：SysML → Modelica / OMNeT++ / NS-3
- 网络仿真编排（NS-3 / OMNeT++）与结果后处理回写
- Julia 优化（JuMP）与蒙特卡洛不确定性分析
- 5G 信令面测试：全量 3GPP ASN.1（NGAP / F1AP / RRC / NAS / PDCP 与安全算法）
- 覆盖规划、机柜上架与连线、现场采集与验收
落地路径
从参数建模到现场校核的四个环节，每一步的产物都能被下一步直接引用。
① 参数建模
- MDE Workbench：由 SysML 模型自动生成参数包（Modelica / OMNeT++ / NS-3）
- 系统架构参数与网络拓扑、传播条件同源
② 网络仿真
- Simu Workbench：网络仿真编排（NS-3 / OMNeT++）与结果后处理
- Julia 做覆盖 / 容量 / 切片的优化与不确定性分析
③ 信令面验证
- 全量 3GPP ASN.1：NGAP / F1AP / RRC / NAS / PDCP 与安全算法
- 全包围 · 单报文 · 多节点并发三种模式，N2 / F1 双接入链路
④ 现场校核
- 覆盖规划与机柜上架、现场采集与验收
- 实测数据回写模型，规划值与验收值对得上