Cover Image

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Trinh, Hiep Hong, Sirjani, Marjan, Ciccozzi, Federico, Masud, Abu Naser, Sjödin, Mikael
Format:	Preprint
Published:	2025
Subjects:	Robotics Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

M, Toolchain and Language for Reusable Model Compilation
by: Trinh, Hiep Hong, et al.
Published: (2025)

ROS-related Robotic Systems Development with V-model-based Application of MeROS Metamodel
by: Winiarski, Tomasz, et al.
Published: (2025)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
by: Marksteiner, Stefan, et al.
Published: (2025)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

A ROS2 Interface for Universal Robots Collaborative Manipulators Based on ur_rtde
by: Saccuti, Alessio, et al.
Published: (2025)

AUTOSAR AP and ROS 2 Collaboration Framework
by: Iwakami, Ryudai, et al.
Published: (2025)

AWML: An Open-Source ML-based Robotics Perception Framework to Deploy for ROS-based Autonomous Driving Software
by: Tanaka, Satoshi, et al.
Published: (2025)

Modeling and Simulation of a Multi Robot System Architecture
by: Sadik, Ahmed R., et al.
Published: (2024)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

A Survey of Real-Time Support, Analysis, and Advancements in ROS 2
by: Casini, Daniel, et al.
Published: (2025)

Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
by: Canelas, Paulo, et al.
Published: (2024)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
by: Etemadi, Khashayar, et al.
Published: (2025)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
by: Murray, Yvonne, et al.
Published: (2024)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
by: Benjumea, Diana C., et al.
Published: (2025)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
by: Sartaj, Hassan, et al.
Published: (2025)

Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
by: Yousaf, Muhammad, et al.
Published: (2026)

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
by: Wu, Jiahui, et al.
Published: (2025)

VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation
by: Wang, Zhijie, et al.
Published: (2024)

ROBUST: 221 Bugs in the Robot Operating System
by: Timperley, Christopher S., et al.
Published: (2024)

Towards LLM-Assisted Architecture Recovery for Real-World ROS~2 Systems: An Agent-Based Multi-Level Approach to Hierarchical Structural Architecture Reconstruction
by: Briechle, Dominique, et al.
Published: (2026)

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
by: Saurabh, Prasun, et al.
Published: (2026)

UniCon: A Unified System for Efficient Robot Learning Transfers
by: Lin, Yunfeng, et al.
Published: (2026)

Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
by: Khatiri, Sajad, et al.
Published: (2025)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
by: Saadat, Maryam Ghaffari, et al.
Published: (2024)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
by: Päßler, Juliane, et al.
Published: (2023)

Software Reconfiguration in Robotics
by: Peldszus, Sven, et al.
Published: (2023)

A Multi-Modality Evaluation of the Reality Gap in Autonomous Driving Systems
by: Lambertenghi, Stefano Carlo, et al.
Published: (2025)

Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
by: Tian, Haoxiang, et al.
Published: (2025)

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
by: Goues, Claire Le, et al.
Published: (2024)

Reusability and Modifiability in Robotics Software (Extended Version)
by: Pomponio, Laura, et al.
Published: (2024)

A Comprehensive Study of Bug-Fix Patterns in Autonomous Driving Systems
by: Chen, Yuntianyi, et al.
Published: (2025)

Metamorphic Testing of Vision-Language Action-Enabled Robots
by: Valle, Pablo, et al.
Published: (2026)

Pixi: Unified Software Development and Distribution for Robotics and AI
by: Fischer, Tobias, et al.
Published: (2025)

Extending Behavior Trees for Robotic Missions with Quality Requirements
by: Ghzouli, Razan, et al.
Published: (2025)

Before Autonomy Takes Control: Software Testing in Robotics
by: Chur, Nils, et al.
Published: (2026)

Search-based Robustness Testing of Laptop Refurbishing Robotic Software
by: Isaku, Erblin, et al.
Published: (2026)

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
by: Mallozzi, Piergiuseppe, et al.
Published: (2023)

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots
by: Valle, Pablo, et al.
Published: (2025)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)