分布式嵌入式系统中基于反应器模式的安全中断驱动通信建模

《IEEE Embedded Systems Letters》：Reactor-Based Modeling of Safe Interrupt-Driven Communication for Distributed Embedded Systems

　　

摘要：

现代铁路系统正朝着更高的自动化等级（GoA）发展，但远程控制仍然是GoA-3和GoA-4运营中关键的后备手段。实时传输传感器数据和控制命令对于远程驱动的车辆至关重要，其延迟受到硬件能力、网络条件、传输协议、系统架构和软件框架等因素的影响。本文介绍了基于两项现代技术构建的列车操作远程控制系统的设计、实现和评估案例研究：WebTransport和Lingua Franca。WebTransport通过QUIC协议提供低延迟的双向流传输，能够在远程操作员和列车之间建立稳健且并发的传输通道，同时保持消息完整性和顺序。Lingua Franca是一种多语言协调语言，控制信息物理系统的反应性行为，确保确定性和时间感知的执行。我们的实验表明，这种组合构成了低延迟和实时列车操作远程控制系统的有前景的基础。