Georg SchlegelFor machine life-long use
The IP69K combi pushbutton emergency stop is designed for mobile machines and special vehicles that are exposed to difficult environmental conditions. It was developed in a joint project between Data Panel and Schlegel.
September 22, 14:00 - 14:30 with Dr. Michael Rathmair, Joanneum Research Forschungsgesellschaft
Runtime verification for safe robot systems
Digitalization and automation in production require modern robot systems that not only perform their tasks correctly, but also safely for people in the vicinity. The safety issue becomes particularly challenging when robot systems are used in a variety of ways and not just in specially designated production areas in order to handle variations in products, raw materials, etc. as flexibly as possible. Potentially, all these variabilities cannot be taken into account and safeguarded by the design of the systems alone.
Furthermore, we want to make the principle of flexible machine use applicable to a broader spectrum. As a continuation of the systems already in use for online machine monitoring, we are focusing our research on the development of safety-related runtime verification, in the sense of extended monitoring functions and functions for machine self-verification.
Not only do we expect this functionality to provide a well-founded safeguarding of robot behavior, it can also form the basis for the application of modern AI methods in the reactive control context of modern, collaborative and trustworthy robots. Specifically, we use a combination of formal methods and abstract simulation to verify the behavior directly on the machine system so that flexible, safe use can be demonstrably ensured.