Prof. Holger Schlingloff
Profilbild Schlingloff

Prof. Holger Schlingloff

Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik

Softwaretechnik

 
Expertise

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.

Referenzen
  • Großes deutsches Unternehmen für Kommunikation und Sensorik: Studentisches Semesterprojekt zur Erstellung eines Systems zur verteilten Überwachung der Luftqualität in Innenräumen.