Ensuring Deterministic Timing in a Federated GNSS Correction Pipeline with Lingua Franca

Tejeswini Jayaramareddy, Hokeun Kim, Hoeseok Yang

Embedded systems that combine hardware interrupts, buffering, and distributed communication are often perceived as inherently asynchronous and difficult to analyze. However, such s…