EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
Paper i proceeding, 2023

When we develop general-purpose robot software components, we rarely know the full context that they will execute in. This limits our ability to make predictions, including our ability to detect program bugs early. Since running a robot is an expensive task, finding errors at runtime can prolong the debugging loop or even cause safety hazards. In this paper, we propose an approach to help developers find bugs early with minimal additional effort by using embedded Domain-Specific Languages (DSLs) that enforce early checks. We describe DSL design patterns suitable for the robotics domain and demonstrate our approach for DSL embedding in Python, using a case study on an industrial tool SkiROS2, designed for the composition of robot skills. We demonstrate our patterns on the embedded DSL EzSkiROS and show that our approach is effective in performing safety checks while deploying code on the robot, much earlier than at runtime. An initial study with SkiROS2 developers show that our DSL-based approach is useful for early bug detection and improving the maintainability of robot code.

Early-bug-detection

Python

Skill-based-robot-system

Design-Patterns

Domain-Specific-Languages

Författare

Momina Rizwan

Lunds tekniska högskola

Ricardo Diniz Caldas

Chalmers, Data- och informationsteknik, Interaktionsdesign och Software Engineering

Christoph Reichenbach

Lunds tekniska högskola

Matthias Mayr

Lunds tekniska högskola

Proceedings - 2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering, RoSE 2023

61-68
9798350301847 (ISBN)

5th IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2023
Melbourne, Australia,

Ämneskategorier

Programvaruteknik

Robotteknik och automation

Datorsystem

DOI

10.1109/RoSE59155.2023.00014

Mer information

Senast uppdaterat

2023-09-01