Humboldt-Universität zu Berlin

Institut für Informatik

Die Lehr- und Forschungseinheit „Spezifikation, Verifikation und Testtheorie“ am Institut für Informatik der Humboldt-Universität zu Berlin wird geleitet von Prof. Holger Schlingloff. Die Gruppe beschäftigt sich seit 15 Jahren mit formalen Methoden der Software-Entwicklung, vornehmlich auf dem Gebiet eingebetteter Systeme. Aktuelle Arbeiten befassen sich mit der Transformation natürlichsprachlicher Spezifikationen in UML-Modelle, mit der Ableitung von Systemen und Testfällen aus Produktlinienmodellen, sowie mit dem Online-Monitoring sicherheitskritischer Systeme mit formalen Modellen.

In CrESt wird die Humboldt-Universität im Rahmen von EC6 und MQ2 an folgenden Aufgaben arbeiten:

• Entwicklung von Algorithmen und Methoden zum Module-Checking für offene Systeme
• Kontextmodellierung und Berücksichtigung von Unsicherheiten in der Verifikation
• Mitarbeit am Fallbeispiel „kooperierende Transportroboter“: Implementierung der Simulation und Analyse der Simulationsmodelle