实时通信网络架构的建模，

模拟仿真以及自动化配置。

RTaW-Pegase® 用于构建和优化使用在汽车领域、航空航天领域以及工业领域的通信网络：时间敏感网络（TSN）、CAN （FD，XL）、LIN、Arinc、 NoC车载网络，以及车外通信的无线通信网络。除了时间精确的模拟仿真外，RTaW-Pegase 还可以计算通信延迟的严格数学理论上限和内存缓存使用率，并且嵌入了高阶自动配置算法，以确保正确且高效地使用网络硬件和软件。

支持超过40家整车厂、一级供应商和安全关键系统供应商

深受汽车、航空航天和国防领域行业领导者的信赖

自2007年以来为任务关键型实时系统设计提供支持

从设计上确保正确性

RTaW-Pegase® 帮助工程师设计安全、优化、且具前瞻性的嵌入式网络——覆盖汽车与航空航天领域的 TSN/Ethernet、CAN FD/XL）、LIN、ARINC，以及无线系统。

Pegase 采用 Correct-by-Design（从设计上确保正确性） 的工作流程，在实现之前即可确保满足时序、带宽和资源使用等约束条件。这避免了系统测试和集成阶段的反复试错，为工程师提供设计满足约束的形式化保证。

典型应用场景包括：技术选型及可扩展性的评估、电子电气架构设计、TSN 与 CAN 配置、向分区架构的迁移、以及在多核平台上的 ECU 整合。

通过结合基于数学理论的最坏情况分析、自动化 TSN 配置和设计空间探索，Pegase 可避免无效或不安全的设计，加速下一代软件定义汽车与航空电子系统的开发。

使用 Pegase，正确性不再是事后验证——而是从设计源头即被工程化地构建出来。

联系我们

为什么架构设计开发团队选择 RTaW-Pegase®

基于证据的设计

RTaW-Pegase 提供详细的性能指标，包括网络负载、响应时间、抖动和缓冲区使用情况，使您能够预测各种场景下的系统性能。

缩短产品上市时间

我们专有的 ZeroConfig-TSN® (ZCT) 生成式设计算法可将 TSN 网络设计速度提高 30 倍甚至更多。

面向未来的设计

我们的拓扑压力测试® (TST) 功能可以预测您的网络能够处理多少流量，帮助您设计未来的可扩展性。

使用上游架构建模工具

无缝集成到您现有的工作流程中，以增强工作流程并优化整体系统性能。

下一代自动化

工程工具

Pegase 不仅能够满足 SymTA/S® 等分析工具所涵盖的使用场景，还能通过先进的自动化和综合功能来增强工程师的能力，从而简化工作流程、提高生产力并主动优化系统设计。

成本优化

RTaW-Pegase 使您能够避免资源过度配置。工具内置设计空间探索算法，可实现对网络拓扑、数据流路由和软件功能分配的智能优化

值得信赖的结果

RTaW-Pegase 使用Network Calculus网络演算进行时延和内存使用上限验证，这是航空验证中认可的方法。

过往业绩卓著

自 2007 年以来，RTaW-Pegase始终收到来自汽车、航空航天和国防以及工业领域的领先企业的信赖，用于其关键网络设计。

产品特性

网络和协议支持

全面的以太网支持：

支持汽车、航空航天及工业以太网，包括 802.1Q TSN、802.1Qav/AVB 基于信用的整形器（Credit-Based Shaper）、802.1Qbv 时敏调度器（Time-Aware Shaper）、802.1Qcr 异步流量整形器（Asynchronous Traffic Shaper）、802.1Qbu 帧抢占、802.1CB 帧复制与消除、802.1Qci 流量过滤、802.1AS-2020 时钟同步、10BASE-T1S、SOME/TP（TP）、DDS、DoIP 和 AVTP。兼容 IEEE P802.1DP。此外，还支持时间触发以太网（SAE AS6802）和 AFDX（ARINC 664），适用于任意速率和拓扑。

面向服务的通信：
通过支持 SOME/IP、DDS 和 MQTT，并结合专用的 TSN 配置算法，可确保服务的可靠与准时交付。

支持多样化的通信模式：
可处理周期性与非周期性消息传输模式、UDP 和 TCP 传输、分段消息（如视频流与 FTP 流量），以及复杂的通信模式（如 DoIP 协议，或通过 Java 插件定义的传输模式）。

服务质量、流量控制和流量管理

全面的时序与可靠性 QoS 支持：
支持 FIFO、优先级调度、AVB 基于信用的整形器、TSN 时敏调度器、帧抢占、异步流量整形器、流量监管（PSFP，IEEE 802.1Qci）、帧复制与消除（FRER，IEEE 802.1CB）、TTEthernet（SAE AS6802）以及轮询（Round-Robin）帧调度器。

调度与配置

TSN 优化调度：
为 TSN 时敏调度器（IEEE 802.1Qbv）生成优化的报文传输调度，支持总线模式、独占门控以及带宽共享。

ZeroConfig-TSN (ZCT)Ⓒ：
“一键式”自动化方法，用于 TSN 网络的技术选择与配置。

优化配置算法：
包括优化的优先级分配与路由算法，以及针对 AVB 基于信用的整形器、TSN 时敏调度器和异步流量整形器的配置算法。

Trace分析与验证

轨迹分析（TraceInspector 模块）：
支持以太网与 T1S 的 PCAP(-NG) 格式，以及 CAN 和 FlexRay 的 ASC 格式；可检测不符合规范的行为（如报文大小、发送周期、未知报文），验证触发式（event-triggered）报文的建模假设，估算交换延迟与连续帧到达间隔，并提供轨迹的 Gantt 图可视化。

系统级与CPU任务分析

系统级建模：
Software-Defined Vehicles (SDV) 模块支持在多核处理器上对软件组件进行建模、仿真以及最坏情况可调度性分析，可通过 Gantt 图展示系统级时序链。

任务调度分析：
支持事件触发与时间触发调度、独立任务、任务图（task graphs）和 runnables 的配置与分析；可验证跨任务、网络与 CPU 的系统级全局时序链。

可定制的系统建模：
通过用户编写的 Java 插件，可建模高层通信层、运行时环境与应用，实现完整嵌入式系统的仿真。

性能与时序分析

异构架构性能评估：
支持由 CAN（2.0A、2.0B、CAN FD、CAN XL、ARINC825）、交换以太网、AFDX、TTE、FlexRay、LIN、PON（预计 2024/10）、ARINC429 及无线网络（例如 802.11p）通过网关互联组成的通信架构的最坏情况分析与精确时序仿真。

全面的性能预测：
提供最坏情况分析与时序精确仿真，采用并行化引擎以预测最坏与典型性能场景。

高精度时延计算：
计算所得通信时延与真实最坏情况时延相比，悲观度通常小于 15%。

快速高效：
可在数秒内分析与仿真大型网络，即使对于复杂架构也能快速获得洞察。

先进的网络微积分技术：
使用最新的网络微积分方法（Network Calculus）计算通信时延上界、帧抖动与缓冲区占用（参见我们关于网络微积分的研究工作）。