Fraunhofer Austria
Kollaborationsfähige Robotersysteme stehen eigentlich für Flexibilität in der Produktion. Kommt es jedoch zu veränderten Marktanforderungen, wie Änderungen am Produkt, der produzierenden Stückzahl oder des wirtschaftlichen Automatisierungsgrades und damit des Personaleinsatzes, müssen Änderungen bzw. Modifikationen am Steuerprogramm dieser Robotersysteme getätigt werden. Diese Modifikationen haben einerseits Einfluss auf die Sicherheits- und Risikobewertung und andererseits auf die Software.
Nach heutigem Stand der Technik und Richtlinien muss ein Automatisierungssystem nach jeder Modifikation erneut zertifiziert werden. Zudem ergibt sich durch die Modifikation am Steuerprogramm und der einhergehenden Systemkomplexität aufgrund wechselseitiger Beziehungen zu peripheren Einheiten, ein erhöhtes Fehlerpotential und damit ein erhöhtes Risiko für Stillstände sowie Gefährdungen im laufenden Betrieb. Diese Modifikationen können nur von Fachpersonal durchgeführt werden, was dem Flexibilitätsgedanken widerspricht. Die fehlende praktikable Flexibilität bei einer marktgetriebenen notwendigen Modifikation kollaborationsfähiger Robotersysteme hemmt nicht nur den industriellen Einsatz, sondern auch den sicheren Betrieb von Mensch-Roboter-Kollaboration.
Das Hauptziel von SAMY ist es, den Anwendungsnachweis von deklarativer Programmierung in Kombination mit formaler Verifikation im Rahmen der Programmierung und Modifikation kollaborationsfähiger Robotersysteme zu erbringen. Die deklarative Programmierung mit der Möglichkeit zur formalen Verifikation soll die Erstellung sowie Modifikation von Steuerprogrammen soweit vereinfachen, dass 20 % der österreichischen KMUs aus der diskret produzierenden Industrie vermehrt Roboter als flexibles und sicheres Werkzeug einsetzen können.