E-Mobility / New Mobility
Eingebettete Informatiksysteme dringen immer mehr in alle Bereiche des täglichen Lebens vor, man denke nur an Fahrassistenzsysteme im Auto, medizinische Geräte, oder Steuerungssysteme in Industrieanlagen. Je mehr diese Systeme auch sicherheitskritische Aufgaben übernehmen, desto wichtiger wird eine effektive und effiziente Qualitätssicherung dafür. Die Forschungsgruppe SVT (Spezifikation, Verifikation und Testtheorie) beschäftigt sich mit modellbasierter Entwicklung und Modellprüfung, logischer Verifikation und der automatischen Generierung und Ausführung von Tests für sicherheitskritische Software. Prof. Schlingloff ist Chief Scientist des System Quality Center am Fraunhofer-FOKUS, Berlin, und Vorstandsvorsitzender der Forschungsvereine GFaI e.V. und ZeSys e.V.
- Großes deutsches Unternehmen für Kommunikation und Sensorik: Studentisches Semesterprojekt zur Erstellung eines Systems zur verteilten Überwachung der Luftqualität in Innenräumen.
lokales Unternehmen
Professorin Hafners Forschung beschäftigt sich damit, Prinzipien der Intelligenz von biologischen Systemen zu extrahieren und auf künstliche adaptive Systeme zu übertragen. Der Schwerpunkt ist dabei die Übertragung kognitiver Fähigkeiten auf autonome Roboter. Die Herausforderung besteht nicht nur darin, intelligente autonome Roboter zu entwickeln, sondern auch biologische Fähigkeiten durch Roboter-Experimente besser zu verstehen. Schwerpunkte unserer Forschung sind sensomotorisches Lernen, interne Modelle zur Vorhersage, Aufmerksamkeitsprozesse, sowie räumliche Kognition. Die Methoden für die Entwicklung der Modelle reichen von evolutionären Algorithmen über neuronales Lernen bis zur Informationstheorie. Als Plattformen nutzen wir mobile Roboter (humanoide, fahrende, fliegende und tauchende Roboter) sowie Softwaresimulationen. Professor Hafner ist IEEE Senior Member und PI in mehreren EU-Projekten.
- Lokales Unternehmen für Automation und Robotik: Studentisches Semesterprojekt zur Entwicklung eines kollaborativen Flottenmanagements für autonome Transportroboter.
TWT GmbH
Am Lehrstuhl für Software Engineering arbeitet Prof. Grunske mit seinem Team an Softwaretechnikmethoden insbesondere im Bereich der automatisierten Entwicklung und Qualitätskontrolle von Softwaresystemen. Ein weiter Schwerpunkt ist die Arbeit mit probabilistischen Techniken, auf dessen Grundlage wahrscheinliche und weniger wahrscheinliche Verhaltensweisen eines Programms modelliert werden können, was es erlaubt, Anomalien besser zu entdecken und zu beheben. Zum Einsatz kommen solche statistischen Modelle u. a. beim Monitoring und Debugging von Programmen während der Laufzeit sowie beim Softwaretest – so wird die Entwicklung sicherer und zuverlässiger Softwaresysteme unterstützt. Weitere Forschungsschwerpunkte von Prof. Grunske sind die Entwicklung von Methoden, mit der Qualitätsanforderungen an ein Softwaresystem präzise definiert werden können; die Formalisierung von Verifikationsbedingungen sowie die (technische) Sicherheit in eingebetteten Systemen und Prozess- und Performancemanagement.
- Softwaretechnik
- Test und Verifikation
- Statistik/Wahrscheinlichkeitstheoretische Methoden
- Formalisierung von Anwendungszenarien in Zusammenarbeit mit der TWT GmbH im Projekt „Safe.Spec: Qualitätssicherung von Verhaltensanforderungen“
- Gewinnung probabilistischer Modelle aus Softwaresystemen, die im Software-Engineering-Prozess als Spezifikation weiterverwendet werden können, im Projekt „EMPRESS: Extracting and Mining of Probabilistic Event Structures from Software Systems”
- Entwicklung von Evaluationsmöglichkeiten probabilistischer Modelle und Machine-Learning-basierten Techniken für die Transformation von Modellen im Projekt „ENSURE-II: ENsurance of Software evolUtion by Run-time cErtification”