Die Universität Bremen verfolgt das Ziel, exzellenten Nachwuchswissenschaftlerinnen und -wissenschaftlern möglichst früh Freiräume zu geben und den Weg in die eigenständige Forschung zu ermöglichen. In einem international ausgeschriebenen, wettbewerblichen Verfahren in der Förderlinie "Eigene Projekte für Postdocs" konnte sich Hoang M. Le durchsetzen - sein Forschungsvorhaben SYMVIR (Symbolic Virtual Hardware/Firmware Co-Verification) wird vier Jahre lang (01.01.2018-31.12.2021) durch die Zentrale Forschungsförderung der Universität Bremen finanziert.

Neuartige Anwendungskontexte von elektronischen Systemen, wie z.B. das Internet der Dinge, verstärken die Anforderung an die korrekte und sichere Interaktion von Hardware und Firmware. Dem wird heutzutage durch eine Co-Simulation der Firmware auf virtuellen Hardware-Prototypen teilweise bereits begegnet - so lassen sich hardwareabhängige Firmware-Fehler frühzeitig aufdecken, noch bevor die Hardware zur Verfügung steht. Hoang M. Le wird mit seinem eigenen Forschungsvorhaben diese Art der Co-Verifikation noch wesentlich umfassender gestalten, indem er formale Verifikationstechniken, wie sie bisher ausschließlich auf niedrigeren Abstraktionsebenen angewendet wurden, auf die neue virtuelle Hardware/Firmware-Welt hebt.

Vom 27. bis zum 29. November 2017 fand im Rahmen der "DGR Days" (Tage der Deutschen Gesellschaft für Robotik) das Kick-Off-Meeting für den neuen Sonderforschungsbereich (SFB) "EASE" statt. Viele Anweisungen, die für Menschen leicht umzusetzen sind, stellen Roboter vor enorme Herausforderungen. Genau hier setzt der von der DFG geförderte SFB an, um Robotern beizubringen, alltägliche Aufgaben mit Leichtigkeit (engl. ease) zu übernehmen. Dabei spielen auch Sicherheitsaspekte eine wesentliche Rolle. Die AGRA ist mit zwei Stellen in diesem hochgradig interdisziplinären Projekt vertreten, das bis zu 12 Jahre laufen wird. Wir freuen uns auf eine gute Zusammenarbeit!

Am 19.01.2018 fand in München das 1. Statusseminar und der 4. Industriepartnerworkshop im EDA-Clusterforschungsprojekt CONFIRM statt - EDA-Clusterforschungsprojekte sind vom BMBF geförderte Projekte, in denen Hochschulen und Forschungseinrichtungen mit industrieller Patenschaft und Unterstützung an zukunftsweisenden EDA-Forschungsthemen arbeiten. Im CONFIRM-Projekt werden von der Arbeitsgruppe neue Methoden zur Verifikation von Firmwarebasierten Powermangement-Strategien entwickelt. Ein Schwerpunkt der Veranstaltung war die Arbeit zur Constraint-basierten Applikationsgenerierung, die im Herbst 2017 auf dem Forum on specification & Design Languages (FDL) als "Best-Paper Candidate" ausgezeichnet wurde.

Ein gemeinsames Abschlusstreffen im Schloss Etelsen vom 23.-24.11.2017 setzte den Schlusspunkt des von der DFG geförderten Reinhart Koselleck-Projektes. Über einen Zeitraum von über sechs Jahren arbeiteten wir an einem durchgängigen ESL-Verifikationsansatz mit dem Ziel, Verifikationsmethoden sowie Verfahren zur automatischen Generierung von Eigenschaften und Überprüfung der Vollständigkeit zu integrieren. Dabei wurden neue Methoden entwickelt, die die Korrektheit von modernen Schaltkreis- und Systementwürfen in Eingebetteten Systemen (embedded systems) sicherstellen. Im Projekt konnten wir erhebliche Erfolge dabei erzielen, die Korrektheit von der Systembeschreibung bis hin zur Logikebene sicherzustellen.

Neben wissenschaftlichen Erfolgen mit zahlreichen Publikationen sind auch die wissenschaftlichen Karrieren der Teilnehmenden überaus erfolgreich verlaufen: fünf Mitarbeiter wurden für ihre wissenschaftlichen Leistungen mit dem Bremer Studienpreis ausgezeichnet, und durch beachtliche wissenschaftliche Werdegänge wurden einige Mitarbeiter zu "Ehemaligen": Mathias Soeken ist als Postdoc an der EPFL (Lausanne, Schweiz) in der Gruppe von Giovanni De Micheli tätig, Ulrich Kühne ist Maître de Conférences an der Télécom ParisTech, und Robert Wille wurde auf eine Professur an der Johannes Kepler Universität in Linz (Österreich) berufen.

Im Rahmen einer Zusammenarbeit des von der DFG geförderten Sonderforschungsbereichs "Farbige Zustände" mit der Wilhelm-Focke-Oberschule in Bremen arbeiteten wir fünf Wochen lang mit den Schülerinnen und Schülern einer fünften Klasse an der Programmierung von Mikrocontrollern. Das Modul wurde mit dem Ziel umgesetzt, das Technikinteresse zu fördern. Dabei fiel die Wahl auf Arduinos, da die Programmierung in C/C++ erfolgt und verschiedene Sensoren, Displays und LEDs eingebunden werden können, so dass ein fertig gebautes System für die Lernenden "mit allen Sinnen" erfahrbar ist. In der ersten Einheit wurden grundlegende Konzepte erklärt und eine LED zum Blinken gebracht; in den folgenden Stunden wurden in Zweier-Teams kleine Projekte, z.B. eine Ampelschaltung und eine Diebstahlsicherung, bearbeitet. Bemerkenswert waren die Offenheit und das Selbstvertrauen der Kinder, Kabel anders zu stecken und Programme anders zu schreiben, als es in den Anleitungen dargestellt wurde - der dadurch entstandene Sachschaden (zwei defekte LEDs, zwei geplatzte Temperatursensoren und ein ruiniertes Breadboard) belief sich aber nur auf wenige Euros. Die Kinder ließen sich durch Fehler aber nicht verunsichern, sondern verwandelten sie positiv in Lerngelegenheiten. So konnten sie beispielsweise sehen, wie ein Breadboard von innen aussieht, und diskutieren, warum bei manchen Bauteilen die Polung relevant ist. Die Arbeit mit den Kindern hat nicht nur viel Spaß gemacht, sondern förderte auch tatsächlich substantiell das Technikinteresse der Schülerinnen und Schüler. Detailliertere Informationen finden Sie hier. | Foto: Claudia Sobich/SFB 1232

• Prof. Dr. Inge Schwank (Universität zu Köln), 07.-08.12.2017
• Prof. Dr. Sanaz Mostaghim (Otto-von-Guericke-Universität Magdeburg), 11.-12.12.2017
• Prof. Dr. Tim Güneysu (Ruhr-Universität Bochum), 23.01.2018
• Dr. Soumyadip Bandyopadhyay (Hasso-Plattner-Institut für Digital Engineering, Potsdam), 30.-31.01.2018