22. September, 14:00 - 14:30 Uhr mit Dr. Michael Rathmair, Joanneum Research Forschungsgesellschaft
Laufzeitverifikation für sichere Robotersysteme
Für die Digitalisierung und Automatisierung in der Produktion, benötigt es moderne Robotersysteme, welche ihre Aufgaben nicht nur richtig, sondern auch für in der Umgebung befindliche Menschen gefahrenfrei ausführen. Besonders herausfordernd wird die Sicherheitsfrage, wenn Robotersysteme vielseitig und nicht nur in speziell vorgesehenen Produktionsbereichen zum Einsatz kommen um so Variationen in Produkten, Rohmaterialien, etc. möglichst flexibel handzuhaben. Potenziell können alle diese Variabilitäten nicht alleinig durch den Entwurf der Systeme berücksichtigt und abgesichert werden.
Des Weiteren möchten wir das Prinzip des flexiblen Maschineneinsatzes für ein breiteres Spektrum anwendbar machen. Wir legen als Weiterführung der bereits im Einsatz befindlichen Systeme zur online Maschinenüberwachung, einen Forschungsschwerpunkt auf die Entwicklung einer sicherheitsbezogenen Laufzeitverifikation, im Sinne von erweiterten Monitoringfunktionen und Funktionen zur Maschinen Selbstverifikation.
Von dieser Funktionalität erwarten wir nicht nur eine fundierte Absicherung des Roboterverhaltens, zu dem kann es Basis für die Anwendung moderner KI Methoden im reaktiven Regelungskontext moderner, kollaborativer und vertrauenswürdiger Roboter darstellen. Konkret verwenden wir eine Kombination von formalen Methoden und abstrakter Simulation, um das Verhalten dahingehend direkt am Maschinensystem zu verifizieren, sodass ein flexibler, sicherer Einsatz nachweisbar sichergestellt werden kann.