ROMoSu: flexible runtime monitoring support for ROS-based applications
ROS-based robotic applications are becoming increasingly common in various different application domains, performing diverse tasks. Examples include autonomous vehicles, small unmanned systems, as well as industrial applications of Cyber-Physical Production Systems. What all these systems have in common is their tight integration between hardware and software components, and close interactions with humans, e.g., on a shop floor, or autonomously driving robots as part of a warehouse system. This, in turn, requires monitoring the behavior of the system at runtime and ensuring that it behaves according to its specified requirements. However, establishing and maintaining runtime monitoring support is a non-trivial task, requiring significant up-front investment and extensive domain knowledge. To alleviate this problem, in this paper, we present ROMoSu, a flexible runtime monitoring framework for ROS-based systems that allows defining multiple scenarios, or application-specific configurations, taking into account different monitoring needs, and provides tool support for creating, maintaining, and managing configurations at runtime. As part of our evaluation, we have conducted experiments with three different use cases, of both physical and simulated applications. Results confirm that ROMoSu can be successfully used to create monitoring configurations with little effort, create efficient monitors and perform constraint checks based on the collected runtime data.
Mon 15 MayDisplayed time zone: Hobart change
13:45 - 15:15 | |||
13:45 15mPaper | ROMoSu: flexible runtime monitoring support for ROS-based applications RoSE A: Marco Stadler Johannes Kepler University Linz, A: Michael Vierhauser Johannes Kepler University Linz Pre-print | ||
14:00 15mPaper | EzSkiROS: a case study on embedded robotics DSLs to catch bugs early RoSE A: Momina Rizwan Lund University, A: Ricardo Caldas Chalmers, A: Christoph Reichenbach Lund University, A: Matthias Mayr Lund University, Sweden & WASP | ||
14:15 15mPaper | Augmenting robot software development with flexbot RoSE A: Paulius Daubaris University of Helsinki, A: Juhana Helovuo Atostek Oy, A: Niko Mäkitalo University of Helsinki, Finland | ||
14:30 45mOther | Structured Discussion (Part 1) RoSE |