Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots

Marian Sorin Adam, Morten Larsen, Kjeld Jensen, Ulrik Pagh Schultz

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


Safety is a key challenge in robotics, in particular for mobile robots operating in an open and unpredictable environment. To address the safety challenge, various software-based approaches have been proposed, but none of them provide a clearly specified and isolated safety layer. In this paper, we propose that safety-critical concerns regarding the robot software be explicitly declared separately from the main program, in terms of externally observable properties of the software. Concretely, we use a Domain-Specific Language (DSL) to declaratively specify a set of safety-related rules that the software must obey, as well as corresponding corrective actions that trigger when rules are violated. Our prototype DSL is integrated with ROS, is shown to be capable of specifying safetyrelated constraints, and is experimentally demonstrated to enforce safety behaviour in existing robot software. We believe our approach could be extended to other fields to similarly simplify safety certification.

Original languageEnglish
Title of host publicationSimulation, Modeling, and Programming for Autonomous Robots : 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings
EditorsDavide Brugali, Jan F. Broenink, Torsten Kroeger, Bruce A. MacDonald
Publication date20. Oct 2014
ISBN (Print)978-3-319-11899-4
ISBN (Electronic)978-3-319-11900-7
Publication statusPublished - 20. Oct 2014
Event4th International Conference on Simulation Modeling and Programming for Autonomous Robots - "Giovanni XXIII" Conference Center, Bergamo, Italy
Duration: 20. Oct 201423. Oct 2014


Conference4th International Conference on Simulation Modeling and Programming for Autonomous Robots
Location"Giovanni XXIII" Conference Center
SeriesLecture Notes in Computer Science


Dive into the research topics of 'Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots'. Together they form a unique fingerprint.

Cite this