Rupak Majumdar erhält ERC Advanced Grant
Logo des MPI-SWS (© MPI-SWS)
Rupak Majumdar, wissenschaftlicher Direktor am MPI-SWS, hat für sein Projekt „Pascal: Formal Performance Analysis at Scale“ einen ERC Advanced Grant in Höhe von rund 2,5 Millionen Euro erhalten. Ziel des Projekts ist es, neue mathematische Grundlagen und praktische Werkzeuge zur Analyse und Verifizierung der Leistung und Ausfallsicherheit groß angelegter verteilter Computersysteme zu entwickeln.
Ob Online-Banking, E-Mail, Video-Streaming, globale Cloud-Plattformen oder groß angelegte KI-Infrastrukturen – verteilte Systeme von globalem Ausmaß bilden das Rückgrat vieler Anwendungen von gesellschaftlicher Tragweite. Wir halten die kontinuierliche Verfügbarkeit dieser Dienste für selbstverständlich, obwohl Ausfälle weitreichende Störungen verursachen können. Dennoch verfügen Entwickler heute nicht über fundierte Ansätze, um die Leistungs- und Ausfallsicherheitseigenschaften solcher Systeme bereitzustellen, zu analysieren oder nachzuweisen. Derzeit testen Entwickler diese Eigenschaften mithilfe kostspieliger, aber unzureichender Workload-Tests, und Verfügbarkeitsausfälle stellen für die Nutzer weiterhin ein Problem dar.
Das nun von der EU geförderte Projekt „Pascal: Formal Performance Analysis at Scale“ befasst sich mit der großen Herausforderung, die Leistung und Ausfallsicherheit groß angelegter verteilter Systeme formal zu erfassen (d. h. mathematisch zu beschreiben und zu verifizieren). Oberstes Ziel ist die Entwicklung von Methoden und Werkzeugen, mit denen Systementwickler die Implementierungen ihrer Systeme bewerten können.
Rupak Majumdar ist seit 2010 wissenschaftlicher Direktor am Max-Planck-Institut für Softwaresysteme und Honorarprofessor am Fachbereich Informatik der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau (RPTU). Dies ist bereits der zweite ERC-Förderzuschuss, den er erhalten hat. Im Jahr 2015 erhielt er gemeinsam mit Michael Backes, Peter Druschel und Gerhard Weikum einen ERC Synergy Grant für das Projekt „ImPACT: Privacy, Accountability, Compliance, and Trust in Tomorrow’s Internet“. Der ERC Synergy Grant ist das mit den höchsten Fördermitteln ausgestattete Förderprogramm des Europäischen Forschungsrats.