实时物联网系统中FastDDS中间件端到端延迟的确定性分析模型

《Internet of Things》：End-To-end response-time analysis of DDS-based real-time applications

为解决分布式实时系统中数据分发服务（DDS）中间件端到端延迟难以确定性分析的问题，研究人员开展了针对FastDDS中间件的响应时间分析研究，提出了涵盖同步/异步发送模式、三种调度策略（FIFO/HP/RR）的通用分析框架，通过建立线程链模型和消息干扰量化方法，首次实现了对DDS通信链路的可调度性验证，为高可靠性物联网系统提供了关键理论支撑。

　　

随着物联网和工业4.0的快速发展，数据分发服务（DDS）作为连接分布式实时系统的关键中间件，在自动驾驶、工业机器人等安全关键领域发挥着重要作用。然而，由于DDS内部复杂的多线程架构和动态通信机制，其端到端数据传输延迟的确定性保障始终是业界难题。现有研究多聚焦于网络层或应用层分析，缺乏对DDS中间件本身时序行为的系统化建模，这导致基于DDS构建的高可靠性系统面临潜在时序违规风险。

为破解这一难题，来自国内研究团队的研究人员在《Internet of Things》发表论文，首次建立了FastDDS中间件的端到端延迟分析框架。该研究通过解构FastDDS的线程模型，将复杂的DDS通信流程抽象为包含发布者、流控制器、监听器和订阅者的线程链，创新性地提出了适用于同步/异步发送模式及三种调度策略（FIFO/HP/RR）的通用响应时间分析方法。研究人员通过设计验证实验，证实了所建模型能准确捕捉FastDDS的实际运行行为，为高可靠实时系统的可调度性分析提供了关键理论工具。

关键技术方法包括：1）基于线程链的系统建模方法，将DDS通信路径分解为可分析的子链单元；2）针对HIGH_PRIORITY/FIFO/ROUND-ROBIN三种调度策略的消息干扰量化技术；3）结合供应边界函数（sbf）和请求边界函数（rbf）的复合分析框架；4）通过实验验证的DDS线程行为规则提取（如非抢占性发送规则）。

线程行为规则验证

通过控制变量实验验证了FastDDS的9项核心行为规则：同步模式下发布者直接进行网络发送（规则1-2），异步模式下流控制器按优先级处理消息（规则6-9），其中HIGH_PRIORITY策略严格按优先级降序处理，ROUND-ROBIN策略按主题优先级循环调度。实验数据显示，所建模型能准确预测各策略下的消息传输序列。

消息传递延迟分析

提出数据传递延迟（DDL）和端到端延迟（E2E）的量化方法。对于异步子链，延迟包含流控制器线程响应时间R^f_x(m_z)、监听器线程响应时间R^l_y(m_z)和网络延迟δ^net_νk,νj(m_z)三部分（公式1）。通过定义线程级干扰I^thread_i,z(Δ)、线程间消息干扰I^inter_i,z(Δ)和线程内消息干扰I^intra_i,z(Δ)，建立了完整的干扰量化体系。

调度策略特异性分析

针对HIGH_PRIORITY策略，推导出等优先级消息干扰上界I^ep_i,z(Δ)=Σ(M^HP,j_i-1, D^ep_i(Δ))（引理7）；对ROUND-ROBIN策略，建立了基于主题优先级的循环干扰模型I^rr_i,z(Δ)=∑_{θk∈Θ(τ^ti)}I^k_i,z(Δ)（公式12），其中单个主题的干扰受队列容量M^RR,k_{i和优先级偏移量x^*k共同约束。}

研究结论表明，该分析框架能有效量化FastDDS在各种配置下的最坏情况延迟，解决了DDS系统确定性分析的空白。通过将复杂的中间件行为转化为可分析的实时任务模型，为高可靠性物联网系统的设计验证提供了重要方法论支撑。该成果不仅适用于FastDDS，其建模思路可扩展至其他DDS实现，对推进实时中间件理论发展具有里程碑意义。