Prof. Dr. Manfred Broy

Forschungsschwerpunkte: Software- und Systementwicklung, Systemmodellierung, Komposition und Verifikation von Systemen, Werkzeuge für die Softwareentwicklung
Manfred Broy ist Informatiker. Seine Forschungsschwerpunkte die Modellierung und Entwicklung komplexer softwareintensiver Systeme. Er untersucht praktische Fragen der Softwareentwicklung mit mathematischen und logischen Modellen. Zudem beschäftigt er sich mit der Rolle der Software in einer vernetzten Welt, von den Potenzialen über Auswirkungen bis hin zu Sicherheitsfragen.
Manfred Broy forscht auf dem Gebiet der Modellierung und Entwicklung komplexer softwareintensiver Systeme auf wissenschaftlicher Grundlage. Dieser Schwerpunkt wird flankiert durch den Einsatz wohldurchdachter Prozesse, präziser Anforderungsermittlung und -spezifikation, langlebiger flexibler Softwarearchitekturen und moderner Werkzeuge auf Basis mathematischer und logischer Methoden. Zielsetzung ist die Fundierung und Weiterentwicklung der Methoden des Software und Systems Engineering mit Fokus auf Qualitätssicherung und langfristiger Systemevolution.
Die Entwicklung von Softwaresystemen ist sehr komplex. Manfred Broy arbeitet an der Systematisierung des Entwicklungsprozesses. In die Softwareentwicklung sind oft Teams an verschiedenen Standorten und eine Vielzahl an Technologien und Methoden eingebunden. Broy erstellt mit seiner Arbeitsgruppe Modelle, die als Rahmen (Framework) für Projektstrukturen, methodisches Wissen, Entwicklungsartefakte, Makro- und Mikroprozesse sowie als Werkzeuge dienen. Softwareentwicklung kann dadurch effizienter und sicherer werden. Broy hat zum Beispiel mit seinem Team das Werkzeug AutoFocus entwickelt, das die Systementwicklung mit integrierten, grafischen Beschreibungstechniken unterstützt.
In einer Studie hat Manfred Broy die Verbindung von Cyberspace und eingebetteten Systemen (Cyber-Physical Systems, CPS) in ihren Potenzialen und Auswirkungen untersucht. Zu den Anwendungen von Cyber-Physical Systems zählen erweiterte Mobilität, intelligente Städte, integrierte telemedizinische Versorgung, Sicherheit sowie vernetzte Produktion und Energiewandel. Broy beschäftigt sich zum Beispiel mit Risiken und Chancen vernetzter Autos. So könnten nach einem Unfall bestimmte Informationen zu einem Rettungswagen gesendet werden: Wie viele Personen befinden sich im Auto, ist der Airbag aufgegangen, welche Funktionen des Autos wurden beschädigt? Eine Vernetzung könnte aber auch dazu beitragen, Unfälle zu vermeiden.
Ziel der Forschung von Manfred Broy ist unter anderem die Weiterentwicklung der Methoden des Software- und System-Engineerings vor allem unter den Aspekten Sicherheit und Effizienz.