1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

针对Micro-ROS通信中间件的建模仿真与形式化验证方法及应用.pdfVIP

  • 2
  • 0
  • 约3.21万字
  • 约 22页
  • 2023-07-05 发布于四川
  • 举报

针对Micro-ROS通信中间件的建模仿真与形式化验证方法及应用.pdf

    本发明公开了一种针对Micro‑ROS通信中间件的建模仿真与形式化验证方法，首先从Micro‑ROS的通信中间件MicroXRCE‑DDS的开源代码中，结合XRCE‑DDS规范，抽取出通信过程中包含的各个模块，以及各个模块的行为与功能，建立起各个模块的时间自动机模型；然后利用建模与仿真工具，对抽象的时间自动机模型进行实现，结合具体的MicroXRCE‑DDS通信应用场景，进行组合完成模型的实现和仿真；根据XRCE‑DDS规范中协议部分对通信过程的自然语言描述，抽象其中关键的重要性质，提出了一种

    (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 116389281 A (43)申请公布日 2023.07.04 (21)申请号 202211536933.3 (22)申请日 2022.12.02 (71)申请人 华东师范大学 地址 200241

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >