Model-based Runtime Verification to Enhance Robot Flexibility

Close this search box.

Areas mainly addressed: Agile Production, Autonomy, Collaborative Robots and cloud robotics, Robot Safety 

Main questions to be answered: 

· How can model-based runtime verification procedures be used to design and operate flexible and safe applications including human-robot interaction? 

· What are the current challenges of (1) impact models for formal runtime verification of collaborative robot applications operated in PFL (power and force limiting) and (2) models for verifying collision avoidance approaches implementing SSM (speed and sep 

WS Description: For digitalization and automation in flexible production, flexible intelligent robot-based machines are needed. These have the requirement not only to perform their tasks correctly but also to operate as hazard-free as possible for potential humans in the environment. Safety evaluation optimally considers the entire life and let robots be operated as power tools and assistance systems in order to handle variations in products, raw materials, and operating environment as flexibly as possible. This may lead to situations where functional as well as safety requirements can no longer be assured by the design of the robot systems alone. For this reason, in our workshop, we discuss model-based runtime verification procedures, in the sense of extended monitoring functions and features for machine self-verification. 

Intended outcome: Novel format (e.g. interactive matchmaking session for technologies and applications), Workshop discussion topics of common interest, success stories, use cases, etc, Workshop on recent developments in technology or applications 

Approach: The workshop includes three short impulse speeches which outline the essence of the topic (three times 8 minutes). This will be followed by an interactive participant-involving part moderated by the workshop organizers. The goal is to develop on a virtual platform (Miro Board) a collection of best practices and challenges in the area of model-based robot systems verification and in particular their application during runtime. 

(8 Min. ) Impulse speech on model-based runtime verification for flexible robot applications and current research project 

(8 Min.) Impulse speech about impact models for PFL (power and force limiting) of collaborative robot operation 

(8 Min.) Impulse speech collisions avoidance models for SSM (speed and separation monitoring) 

(8 Min.) Q&A Session 

(40 Min.) Interactive, guided discussion about the questions posed above. Results are collected and visualized on a Miro board. At the end of the workshop, the link to the board will be shared to plan next steps and allow participants to stay in touch after the workshop. 

(5 Min.) Workshop summary and conclusion 

Contributors: Michael Rathmair, Head of Research Group Robot Systems Technologies, JOANNEUM RESEARCH Forschungsgesellschaft mbH ROBOTICS – Institute for Robotics and Mechatronics, Lakeside B13 b, 9020 Klagenfurt am Wörthersee, Austria 

Clara Fischer, Project Assistant, Research Area Human-Machine Interaction – Institute of Management Science – TU Wien, Theresianumgasse 27, 1040 Wien, Austria 

Cecilia Scoccia, Research Fellow, Department of industrial engineering and mathematical sciences (DIISM), Group of mechanics applied to machines, UNIVPM – Polytechnic University of Marche, Brecce Bianche, 12, 60131 Ancona, Italy. 

Further information: A project cluster on the submitted topic area is currently under establishment. The organizers want to strengthen already existing collaborations through ongoing national project activities (project RunRoc 


· Michael Rathmair,, JOANNEUM RESEARCH – Robotics

· Clara Fischer,, TU Wien – Institute of Management Science 

· CeciliaScoccia,, UNIVPM – Polytechnic University of Marche – Department of industrial engineering and mathematical sciences

Event Timeslots (1)

Room 106 – Floor 1
15 March - Software and Systems
Michael Rathmair