Buchumschlag

Runtime Verification and Field-based Testing for ROS-based Robotic Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Caldas, Ricardo, Garcia, Juan Antonio Pinera, Schiopu, Matei, Pelliccione, Patrizio, Rodrigues, Genaina, Berger, Thorsten
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Software Reconfiguration in Robotics
von: Peldszus, Sven, et al.
Veröffentlicht: (2023)

Search-based Trace Diagnostic
von: Araujo, Gabriel, et al.
Veröffentlicht: (2024)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
von: Filippone, Gianluca, et al.
Veröffentlicht: (2026)

An Adaptive Testing Approach Based on Field Data
von: Silva, Samira, et al.
Veröffentlicht: (2025)

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

The Runtime Dimension of Ethics in Self-Adaptive Systems
von: Autili, Marco, et al.
Veröffentlicht: (2026)

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

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
von: Saadat, Maryam Ghaffari, et al.
Veröffentlicht: (2024)

Before Autonomy Takes Control: Software Testing in Robotics
von: Chur, Nils, et al.
Veröffentlicht: (2026)

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

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

Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
von: Chur, Nils, et al.
Veröffentlicht: (2026)

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
von: Saurabh, Prasun, et al.
Veröffentlicht: (2026)

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
von: Trinh, Hiep Hong, et al.
Veröffentlicht: (2025)

Engineering Digital Systems for Humanity: Challenges and Opportunities
von: De Sanctis, Martina, et al.
Veröffentlicht: (2024)

Search-based Robustness Testing of Laptop Refurbishing Robotic Software
von: Isaku, Erblin, et al.
Veröffentlicht: (2026)

A Driver-Vehicle Model for ADS Scenario-based Testing
von: Queiroz, Rodrigo, et al.
Veröffentlicht: (2022)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
von: Júnior, Everaldo Silva, et al.
Veröffentlicht: (2026)

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
von: Wu, Jiahui, et al.
Veröffentlicht: (2025)

A ROS2 Interface for Universal Robots Collaborative Manipulators Based on ur_rtde
von: Saccuti, Alessio, et al.
Veröffentlicht: (2025)

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
von: Aslam, Iqra, et al.
Veröffentlicht: (2024)

AUTOSAR AP and ROS 2 Collaboration Framework
von: Iwakami, Ryudai, et al.
Veröffentlicht: (2025)

STADA: Specification-based Testing for Autonomous Driving Agents
von: Saha, Joy, et al.
Veröffentlicht: (2026)

Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
von: Canelas, Paulo, et al.
Veröffentlicht: (2024)

Metamorphic Testing of Vision-Language Action-Enabled Robots
von: Valle, Pablo, et al.
Veröffentlicht: (2026)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
von: Benjumea, Diana C., et al.
Veröffentlicht: (2025)

VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation
von: Wang, Zhijie, et al.
Veröffentlicht: (2024)

ROBUST: 221 Bugs in the Robot Operating System
von: Timperley, Christopher S., et al.
Veröffentlicht: (2024)

On-Demand Scenario Generation for Testing Automated Driving Systems
von: Yan, Songyang, et al.
Veröffentlicht: (2025)

Structural Abstraction and Selective Refinement for Formal Verification
von: Luckeneder, Christoph, et al.
Veröffentlicht: (2025)

UniCon: A Unified System for Efficient Robot Learning Transfers
von: Lin, Yunfeng, et al.
Veröffentlicht: (2026)

SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems
von: Yang, Huiwen, et al.
Veröffentlicht: (2024)

Determining the Tactical Challenge of Scenarios to Efficiently Test Automated Driving Systems
von: Vater, Lennart, et al.
Veröffentlicht: (2024)

Reusability and Modifiability in Robotics Software (Extended Version)
von: Pomponio, Laura, et al.
Veröffentlicht: (2024)

aerial-autonomy-stack -- a Faster-than-real-time, Autopilot-agnostic, ROS2 Framework to Simulate and Deploy Perception-based Drones
von: Panerati, Jacopo, et al.
Veröffentlicht: (2026)

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

DroneWiS: Automated Simulation Testing of small Unmanned Aerial Systems in Realistic Windy Conditions
von: Zhang, Bohan, et al.
Veröffentlicht: (2024)

RVDebloater: Mode-based Adaptive Firmware Debloating for Robotic Vehicles
von: Salehi, Mohsen, et al.
Veröffentlicht: (2026)

From Conflicts to Collisions: A Two-Stage Collision Scenario-Testing Approach for Autonomous Driving Systems
von: Chen, Siyuan, et al.
Veröffentlicht: (2026)

TwinArch: A Digital Twin Reference Architecture
von: Somma, Alessandra, et al.
Veröffentlicht: (2025)