使用Lingua Franca确保联邦GNSS校正流水线中的确定性时序

结合硬件中断、缓冲和分布式通信的嵌入式系统通常被认为是固有异步且难以分析的。然而，当使用显式逻辑时间语义建模时，此类系统可以表现出确定性的时序结构。本文介绍了一个全球导航卫星系统（GNSS）校正数据流水线，实现为联邦Lingua Franca（LF）应用。联邦LF程序将端到端流水线分解为具有显式时间语义的反应器，包括时间触发的GNSS接收器、源自波特率和先进先出（FIFO）缓冲特性的UART中断流、周期性转发任务以及具有抖动监控的下游处理。联邦执行和运行时日志验证了分析推导的确定性时序结构——包括中断节奏、环形缓冲区演变、打包行为和物理-逻辑抖动——产生了可复现和可预测的时序配置文件。