Hokeun Kim

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 systems can exhibit a deterministic timing structure when modeled using explicit logical-time semanti…Read more