TY - GEN
T1 - Modeling and Analysis of Inter-Process Communication Delay in ROS 2
AU - Luo, Xiantong
AU - Jiang, Xu
AU - Guan, Nan
AU - Liang, Haochun
AU - Liu, Songran
AU - Yi, Wang
N1 - Publisher Copyright:
© 2023 IEEE.
PY - 2023
Y1 - 2023
N2 - ROS 2, the second-generation ROS, is a popular development framework for real-time robotic software. To ensure the timing correctness of applications based on ROS 2, one must model the time delay incurred by two aspects: computation and communication. While significant work has been conducted on computing delay, formal modeling and analysis of communication delay in ROS 2 is still an open issue. In this paper, we first present a formal description on the timing behavior of inter-process communication in ROS 2 with two typical communication policies, namely the InterestTree policy and FIFO policy, and then develop analysis techniques to upper-bound the incurred delay. We conduct experiments to validate the correctness and evaluate the efficacy of our method with case studies on realistic platform.
AB - ROS 2, the second-generation ROS, is a popular development framework for real-time robotic software. To ensure the timing correctness of applications based on ROS 2, one must model the time delay incurred by two aspects: computation and communication. While significant work has been conducted on computing delay, formal modeling and analysis of communication delay in ROS 2 is still an open issue. In this paper, we first present a formal description on the timing behavior of inter-process communication in ROS 2 with two typical communication policies, namely the InterestTree policy and FIFO policy, and then develop analysis techniques to upper-bound the incurred delay. We conduct experiments to validate the correctness and evaluate the efficacy of our method with case studies on realistic platform.
UR - https://www.scopus.com/pages/publications/85185344995
U2 - 10.1109/RTSS59052.2023.00026
DO - 10.1109/RTSS59052.2023.00026
M3 - 会议稿件
AN - SCOPUS:85185344995
T3 - Proceedings - Real-Time Systems Symposium
SP - 198
EP - 209
BT - 44th IEEE Real-Time Systems Symposium, RTSS 2023
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 44th IEEE Real-Time Systems Symposium, RTSS 2023
Y2 - 5 December 2023 through 8 December 2023
ER -