Search papers, labs, and topics across Lattice.
This paper introduces a framework that enables the deterministic execution of Robot Operating System 2 (ROS 2) applications by converting them into Lingua Franca (LF) programs, which utilize logical time for consistent callback ordering. The inherent nondeterminism of ROS 2, stemming from its pub-sub communication model, poses significant challenges for safety analysis and concurrency, making this conversion crucial for reliable robotic systems. The evaluation demonstrates that while default ROS 2 applications exhibit variable execution orders and latencies, the LF-controlled system achieves a consistent and predictable execution environment without requiring modifications to the original ROS 2 code.
Transforming ROS 2 applications into deterministic systems could eliminate concurrency issues and enhance safety guarantees in robotic deployments.
The Robot Operating System~2 (ROS 2) is a widely used middleware for robotic systems, characterized by a publish-subscribe (pub-sub) communication mechanism in which computation is structured as callbacks dispatched by ROS 2 executors. Despite its popularity, the pub-sub pattern in ROS 2 is inherently nondeterministic: the order in which these callbacks run is nondeterministic even within a single executor, and distributed deployments add further nondeterminism from the interleaving of messages across nodes and from network latency. Such nondeterminism often leads to concurrency issues and makes it virtually impossible to analyze for safeness and provide guarantees. We present a framework that is able to convert an unmodified ROS 2 application and run it under Lingua Franca (LF), a coordination language for deterministic execution using logical time, so that the same input always produces the same deterministic execution order. We first describe which ROS 2 features can be executed deterministically under logical time. Such features enable the possibility to establish an automatic conversion framework to extract information from a ROS 2 application and directly convert it into an LF program. The rich features of LF, such as logical-time delays, federated execution across processes, and fault handling, can then be applied to make the ROS 2 application be executed in a deterministic and timing-predictable manner without changing the ROS 2 code. We evaluate the framework on a synthetic example and on the Autoware reference system. We show that the order in which callbacks are executed differs in default ROS 2, while also having end-to-end latencies that vary across executions. In contrast, our LF-controlled ROS 2 system produces a deterministic execution order and consistent end-to-end latencies.
