Deterministic Execution of ROS 2 Applications via Lingua Franca

• URL: http://arxiv.org/abs/2606.09203v2
• Date: Tue, 09 Jun 2026 08:48:05 GMT
• Title: Deterministic Execution of ROS 2 Applications via Lingua Franca
• Abstract summary: The pub-sub pattern in ROS 2 is inherently nondeterministic.<n>We present a framework that is able to run an unmodified ROS 2 application under logical time.<n>We show that the order in which callbacks are executed differs in default ROS 2, while also having end-to-end latencies.
• Score: 2.2960663045863363
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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.

Related papers

• ROPE: Routed Origin Policy Enforcement against Indirect Prompt Injection [61.4148196085256]
  We present ROPE (Routed Origin Policy Enforcement), which is anchored in a structural notion of trust.<n>Our approach admits two provable guarantees: 1) at every step of a trajectory, no value whose only origin is attacker-writable content reaches an origin-guarded parameter, and 2) no rewording of an injection changes an admission decision.
  arXiv  Detail & Related papers  (2026-08-27T01:22:14Z)
• When LLMs Develop Languages: Symbolic Communication for Efficient Multi-Agent Reasoning [85.36421257648294]
  Chain-of-Thought (CoT) improves large language models (LLMs) on difficult reasoning tasks.<n>We propose Communicative Language Symbolism Routing (R)<n>R treats each Language Symbolism Framework as a reusable symbolic protocol with compact symbols, usage rules, and a message-passing contract.<n>R reduces latency-oriented generated token completion by $3sim 6times$ compared to standard CoT.
  arXiv  Detail & Related papers  (2026-06-28T12:02:42Z)
• A Conversational Framework for Human-Robot Collaborative Manipulation with Distributed Generative AI models [0.0]
  This paper presents a distributed conversational framework for human-robot collaborative manipulation.<n>It integrates local language and vision-language models (VLMs) with a Robot Operating System 2 (ROS 2)-based execution stack.
  arXiv  Detail & Related papers  (2026-06-04T12:00:41Z)
• ReDAG-RT: Global Rate-Priority Scheduling for Real-Time Multi-DAG Execution in ROS 2 [0.2981315866322933]
  ReDAGRT is a user-space global scheduling framework for deterministic multi-DAG execution in ROS 2.<n>We formalize a multi-DAG task model for ROS 2 callback pipelines and analyze cross-DAG interference under Rate-Priority scheduling.<n>Results show up to 29.7 percent reduction in deadline miss rate, 42.9 percent reduction in 99th percentile response time, and 13.7 percent improvement over MultiThreadedExecutor.
  arXiv  Detail & Related papers  (2026-03-18T19:45:58Z)
• Parallelized Code Generation from Simulink Models for Event-driven and Timer-driven ROS 2 Nodes [0.0]
  Traditional manual program parallelization faces challenges, including maintaining data integrity and avoiding issues such as deadlocks.<n>This paper proposes an MBD framework to overcome these issues, categorizing ROS 2-compatible Simulink models into event-driven and timer-driven types for targeted parallelization.
  arXiv  Detail & Related papers  (2025-12-29T16:59:59Z)
• Fixed-Priority and EDF Schedules for ROS2 Graphs on Uniprocessor [2.6048907566358364]
  This paper addresses limitations of current scheduling methods in the Robot Operating System (ROS)2.<n>We propose a novel approach using the events executor to implement fixed-job-level-priority schedulers for arbitrary ROS2 graphs.<n>We show that our implementation generates the same schedules as a conventional fixed-priority DAG task scheduler.
  arXiv  Detail & Related papers  (2025-11-28T15:17:18Z)
• RCR-Router: Efficient Role-Aware Context Routing for Multi-Agent LLM Systems with Structured Memory [57.449129198822476]
  RCR is a role-aware context routing framework for multi-agent large language model (LLM) systems.<n>It dynamically selects semantically relevant memory subsets for each agent based on its role and task stage.<n>A lightweight scoring policy guides memory selection, and agent outputs are integrated into a shared memory store.
  arXiv  Detail & Related papers  (2025-08-06T21:59:34Z)
• A first look at ROS 2 applications written in asynchronous Rust [0.0]
  Existing real-time scheduling and response-time analysis techniques for ROS 2 focus on applications written in C++.<n>We analyze the execution model of R2R -- an asynchronous Rust ROS 2 bindings and various asynchronous runtime Rusts.<n>We propose a structured approach for R2R applications aimed at deterministic real-time operation involving thread prioritization and callback-to-thread mapping schemes.
  arXiv  Detail & Related papers  (2025-05-27T15:21:58Z)
• ROS-LLM: A ROS framework for embodied AI with task feedback and structured reasoning [74.58666091522198]
  We present a framework for intuitive robot programming by non-experts. We leverage natural language prompts and contextual information from the Robot Operating System (ROS) Our system integrates large language models (LLMs), enabling non-experts to articulate task requirements to the system through a chat interface.
  arXiv  Detail & Related papers  (2024-06-28T08:28:38Z)
• Towards End-to-End Open Conversational Machine Reading [57.18251784418258]
  In open-retrieval conversational machine reading (OR-CMR) task, machines are required to do multi-turn question answering given dialogue history and a textual knowledge base. We model OR-CMR as a unified text-to-text task in a fully end-to-end style. Experiments on the ShARC and OR-ShARC dataset show the effectiveness of our proposed end-to-end framework.
  arXiv  Detail & Related papers  (2022-10-13T15:50:44Z)
• Monitoring ROS2: from Requirements to Autonomous Robots [58.720142291102135]
  This paper provides an overview of a formal approach to generating runtime monitors for autonomous robots from requirements written in a structured natural language. Our approach integrates the Formal Requirement Elicitation Tool (FRET) with Copilot, a runtime verification framework, through the Ogma integration tool.
  arXiv  Detail & Related papers  (2022-09-28T12:19:13Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.