微信服务号

微信订阅号

2025-4-11- 19
Home > Archive>Volume 32, Issue 6, 2021 >1818-1829. DOI:10.13328/j.cnki.jos.006251
PDF HTML XML Export Cite reminder
Modeling and Analysis of ROS2 Data Distribution Service for Data Flow
Author:
Affiliation:

Fund Project:

National key Research and development program (2019YFB1309900); National Natural Science Foundation of China (61876111); Capacity Building for Sci-Tech Innovation-Fundamental Scientific Research Funds (00620530290073); Research Fund from Academy for Multidisciplinary Studies of Capital Normal University (0062155087)

  • Article
    • | |
  • Metrics
    • |
  • Reference
    • |
  • Related
    • |
  • Cited by
    • | |
  • Comments
    Abstract:

    Robot operating system (ROS) is an open source meta-operating system, which can provide a structured communication layer based on message mechanism on heterogeneous computing clusters. In order to improve the real-time and reliability problems of data distribution in ROS1, ROS2 is proposed with data flow oriented data distribution service mechanism. This study adopts the method of probability model test and analysis, validates real-time and reliability of the ROS2 system. Firstly, a data flow oriented ROS2 data distribution service system of communication formal validation framework is put forward, and the communication system module probabilistic timed automata model is set up. Secondly, probabilistic model detector PRISM is used to verify the real-time and reliability of ROS2 data flow oriented data distribution service through parameter analysis of data loss rate and system response time. Finally, based on retransmission mechanism, quality of service (QoS) strategy analysis, through the set up and adjust service quality parameters, different data requirements and quantitative performance analysis of transmission mode are achieved, providing the reference for application designers based on ROS2 and distributed data distribution service based on the data flow of formal modeling, validation, and quantitative performance analysis.

    Reference
    Related
    Cited by
Get Citation

芦倩,李晓娟,关永,王瑞,施智平.面向数据流的ROS2数据分发服务形式建模与分析.软件学报,2021,32(6):1818-1829

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 30,2020
  • Revised:October 26,2020
  • Online: February 07,2021
  • Published: June 06,2021
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063