12.12.2016

Informatik-Kolloquium

Im Wintersemester 2016/2017 findet auf Einladung von Prof. Dr.-Ing. Samuel Kounev der folgende Vortrag statt:

Montag, 12. Dezember 2016, 16.30 Uhr, Turing-Hörsaal

Prof. Dr. Francesca Saglietti, Lehrstuhl für Software Engineering, Universität Erlangen-Nürnberg

Modellbasiertes Testen kooperierender Roboter

Autonome Agenten werden zur Übernahme unterschiedlicher Automatisierungsaufgaben häufig unabhängig voneinander entwickelt und verifiziert. Ihr anschließender Einsatz in einer gemeinsamen Arbeitsumgebung und zu einer gemeinsamen übergeordneten Zielsetzung erfordert nachträglich eine systematische Überprüfung ihres kooperativen Verhaltens, vor allem im Hinblick auf die Sicherheit ihrer Koexistenz und auf die Effizienz ihrer Zusammenarbeit.

Modellbasierte Testverfahren zur Fehlererkennung und zur Zuverlässigkeitsbewertung kooperierender Roboter wurden deshalb in zwei aufeinanderfolgenden internationalen Verbundprojekten im Rahmen des europäischen Forschungsprogramms ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems) entwickelt und untersucht. Über die dabei gewonnenen Einsichten und Ergebnisse wird berichtet.