This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Robot Operating System (ROS). It builds on a static analysis foundation to automatically extract models from the source code. Such models are later used to enable other sorts of analyses, such as Model Checking, Runtime Verification, and Property-based Testing. It has been applied to multiple real-world examples, helping developers find and correct various issues.
Wed 2 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:00 - 16:00 | |||
15:00 15mResearch paper | Considerations for using Block-Based Languages for Industrial Robot Programming -- a Case Study RoSE 2021 Christoph Mayr-Dorn Johannes Kepler University, Linz, Mario Winterer Software Competence Center Hagenberg GmbH, Christian Salomon Software Competence Center Hagenberg GmbH, Doris Hohensinger Software Competence Center Hagenberg GmbH, Rudolf Ramler Software Competence Center Hagenberg | ||
15:15 15mResearch paper | The High-Assurance ROS Framework RoSE 2021 André Santos INESC TEC & University of Minho, Alcino Cunha University of Minho and INESC TEC, Portugal, Nuno Macedo Faculty of Engineering, University of Porto and INESC TEC | ||
15:30 15mResearch paper | A Modeling Tool for Reconfigurable Skills in ROS RoSE 2021 Darko Bozhinoski Department of Cognitive Robotics, Delft University of Technology, Esther Aguado UPM, Carlos Hernández Corbato Delft University of Technology, Mario Garzon Oviedo Department of Cognitive Robotics, Delft University of Technology, Ricardo Sanz UPM, Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
15:45 15mResearch paper | Inferred Interactive Controls Through Provenance Tracking of ROS Message Data RoSE 2021 | ||
Information for Participants
Wed 2 Jun 2021 15:00 - 16:00 at RoSE Room - Languages and tools Chair(s): Andreas Wortmann
Info for session
Time Title Who 3:00 Considerations for using Block-Based Languages for Industrial Robot Programming – a Case Study Christoph Mayr-Dorn, Mario Winterer, Christian Salomon, Doris Hohensinger and Rudolf Ramler 3:15 The High-Assurance ROS Framework André Santos, Alcino Cunha and Nuno Macedo 3:30 A Modeling Tool for Reconfigurable Skills in ROS Darko Bozhinoski, Esther Aguado, Carlos Hernández Corbato, Mario Garzon Oviedo, Ricardo Sanz and Andrzej Wasowski 3:45 Inferred Interactive Controls Through Provenance Tracking of ROS Message Data Thomas Witte and Matthias Tichy