Module ros2

Module ros2 

Source
Expand description

RTAs for the default ROS2 executor

This module collects RTAs for the default executor of the ROS2 framework.

§Citations

The analyses provided in this module are based on the following publications:

Please cite these papers when using functionality from this module.

Modules§

bw
Busy-window-aware analysis that exploits both the non-starvation property of the ROS2 callback scheduler and the busy-window principle, due to Blaß et al. (2021).
rr
Round-robin-aware analysis that exploits the non-starvation property of the ROS2 callback scheduler, due to Blaß et al. (2021).

Functions§

rta_event_source
Bound the response time of an event source for a given supply and demand model, using the analysis proposed by Casini et al. (2019).
rta_polling_point_callback
Bound the response time of a polling-point-based callback using Lemmas 4 and 5 of Casini et al. (2019).
rta_processing_chain
Bound the response time of a chain of callbacks using Lemma 8 of Casini et al. (2019).
rta_timer
Bound the response time of a timer callback using Lemma 3 of Casini et al. (2019).