Nie mehr warten vor dem Computer – 1,3 Millionen Euro für Forschungsgruppe zur Softwareeffizienz

Pradel erhält von der DFG für die Gründung einer Nachwuchsgruppe eine Fünf-Jahres-Förderung von insgesamt 1,3 Millionen Euro. Ziel seiner Forschung ist es, zukünftige Softwaresysteme effizient, zuverlässig und sicher zu machen.

Computernutzer machen häufig die Erfahrung, dass sie trotz sehr guter Hardware bei gleichzeitig ablaufenden Prozessen auf deren Ausführung warten müssen. Das geförderte Projekt ConcSys entwickelt Programmanalysen, die Programmierern helfen, die Zuverlässigkeit und die Effizienz komplexer Softwaresysteme zu verbessern.

Nutzer werden so auf mehrere gleichzeitige Anfragen, wie zum Beispiel parallel laufende Mail- und Grafikprogramme und Browser, ohne Wartezeiten Rückmeldungen von ihrem System bekommen. Software wird also zukünftig in der Lage sein, das volle Hardwarepotenzial auszunutzen.

„Wir zielen auf Verfahren ab, die auf große Softwaresysteme mit Millionen von Codezeilen anwendbar sind“, erklärt Pradel. „Daher wird das Projekt nicht nur wissenschaftliche Neuerungen bringen, sondern auch einen praktischen Beitrag dazu leisten, zukünftige Softwaresysteme zuverlässiger und effizienter zu gestalten.“

Michael Pradel erhielt bereits im Juli von EC SPRIDE die wissenschaftliche Auszeichnung „Claude Shannon Fellow“. Die durch Pradel damit an der TU Darmstadt vertretene Disziplin „Cybersicherheit für Softwaresysteme“ wächst aktuell schnell, sie wird mittelfristig aus fünf Doktoranden und weiteren studentischen Mitarbeitern bestehen. „Unser langfristiges Ziel ist es, Spitzenforschung zu betreiben und diese auf real existierende Softwaresysteme anzuwenden“, erläutert Pradel seine Pläne.

Nach Erlangung des Doktortitels an der ETH Zürich folgte Pradel einem attraktiven Angebot der ebenfalls renommierten University of California, Berkeley. Die ihm durch EC SPRIDE gebotenen Forschungsfreiheiten lockten Pradel nun allerdings nach Darmstadt zurück, wo er 2006 während des Studiums bereits ein Praktikum am Fraunhofer-Institut für Sichere Informationstechnologie SIT absolvierte.

EC SPRIDE ist das größte der drei vom Bundesministerium für Bildung und Forschung (BMBF) geförderten Cybersicherheitskompetenzzentren. Es wird von der TU Darmstadt und dem Fraunhofer SIT gemeinsam getragen. Die EC SPRIDE-Forscherinnen und -Forscher untersuchen, auf welche Weise IT-Entwicklerinnen und -Entwickler Software und IT-Systeme vom Entwurf an – also „by Design“ – und über den gesamten Lebenszyklus optimal absichern können.

MI-Nr. 70/2014, Sandra Wittrin/sip

Media Contact

Silke Paradowski idw - Informationsdienst Wissenschaft

Weitere Informationen:

http://www.tu-darmstadt.de/

Alle Nachrichten aus der Kategorie: Förderungen Preise

Zurück zur Startseite

Kommentare (0)

Schreiben Sie einen Kommentar

Neueste Beiträge

Mikroalge Stylodinium – ein geheimnisvoller Unbekannter aus dem Moor

Die Alge des Jahres 2022 … LMU-Biologe Marc Gottschling untersucht die Panzergeißler seit Langem. Einer ihrer bemerkenswertesten Vertreter wird jetzt zur Alge des Jahres 2022 gewählt. Die Mikroalge Stylodinium wird…

Zur Rolle von Bitterrezeptoren bei Krebs

Rezeptoren als Angriffspunkte für Chemotherapeutika. Bitterrezeptoren unterstützen den Menschen nicht nur beim Schmecken. Sie befinden sich auch auf Krebszellen. Welche Rolle sie dort spielen, hat ein Team um Veronika Somoza…

Das ungleichmäßige Universum

Forscher untersuchen kosmische Expansion mit Methoden aus der Physik von Vielteilchensystemen. Mathematische Beschreibungen der Expansion des Universums beinhalten einen systematischen Fehler: Man nimmt an, dass die Materie im Universum gleichmäßig…

Partner & Förderer