piwik-script

Intern
    Institut für Informatik

    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.