Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

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

09.10.2014

Die Deutsche Forschungsgemeinschaft (DFG) fördert eine weitere Emmy Noether-Gruppe am European Center for Security and Privacy by Design (EC SPRIDE). Michael Pradel, Informatiker der TU Darmstadt, wird die Gruppe zum Thema „ConcSys: Reliable and Efficient Complex, Concurrent Software Systems“ leiten.

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

Silke Paradowski | idw - Informationsdienst Wissenschaft
Weitere Informationen:
http://www.tu-darmstadt.de/

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Berührungslose Ladesysteme
16.11.2017 | Albert-Ludwigs-Universität Freiburg im Breisgau

nachricht Studenten nehmen mit Frühwarnsystem für Geisterfahrer an internationalem Wettbewerb in Peking teil
15.11.2017 | Universität des Saarlandes

Alle Nachrichten aus der Kategorie: Förderungen Preise >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Transparente Beschichtung für Alltagsanwendungen

Sport- und Outdoorbekleidung, die Wasser und Schmutz abweist, oder Windschutzscheiben, an denen kein Wasser kondensiert – viele alltägliche Produkte können von stark wasserabweisenden Beschichtungen profitieren. Am Karlsruher Institut für Technologie (KIT) haben Forscher um Dr. Bastian E. Rapp einen Werkstoff für solche Beschichtungen entwickelt, der sowohl transparent als auch abriebfest ist: „Fluoropor“, einen fluorierten Polymerschaum mit durchgehender Nano-/Mikrostruktur. Sie stellen ihn in Nature Scientific Reports vor. (DOI: 10.1038/s41598-017-15287-8)

In der Natur ist das Phänomen vor allem bei Lotuspflanzen bekannt: Wassertropfen perlen von der Blattoberfläche einfach ab. Diesen Lotuseffekt ahmen...

Im Focus: Ultrakalte chemische Prozesse: Physikern gelingt beispiellose Vermessung auf Quantenniveau

Wissenschaftler um den Ulmer Physikprofessor Johannes Hecker Denschlag haben chemische Prozesse mit einer beispiellosen Auflösung auf Quantenniveau vermessen. Bei ihrer wissenschaftlichen Arbeit kombinierten die Forscher Theorie und Experiment und können so erstmals die Produktzustandsverteilung über alle Quantenzustände hinweg - unmittelbar nach der Molekülbildung - nachvollziehen. Die Forscher haben ihre Erkenntnisse in der renommierten Fachzeitschrift "Science" publiziert. Durch die Ergebnisse wird ein tieferes Verständnis zunehmend komplexer chemischer Reaktionen möglich, das zukünftig genutzt werden kann, um Reaktionsprozesse auf Quantenniveau zu steuern.

Einer deutsch-amerikanischen Forschergruppe ist es gelungen, chemische Prozesse mit einer nie dagewesenen Auflösung auf Quantenniveau zu vermessen. Dadurch...

Im Focus: Leoniden 2017: Sternschnuppen im Anflug?

Gemeinsame Pressemitteilung der Vereinigung der Sternfreunde und des Hauses der Astronomie in Heidelberg

Die Sternschnuppen der Leoniden sind in diesem Jahr gut zu beobachten, da kein Mondlicht stört. Experten sagen für die Nächte vom 16. auf den 17. und vom 17....

Im Focus: «Kosmische Schlange» lässt die Struktur von fernen Galaxien erkennen

Die Entstehung von Sternen in fernen Galaxien ist noch weitgehend unerforscht. Astronomen der Universität Genf konnten nun erstmals ein sechs Milliarden Lichtjahre entferntes Sternensystem genauer beobachten – und damit frühere Simulationen der Universität Zürich stützen. Ein spezieller Effekt ermöglicht mehrfach reflektierte Bilder, die sich wie eine Schlange durch den Kosmos ziehen.

Heute wissen Astronomen ziemlich genau, wie sich Sterne in der jüngsten kosmischen Vergangenheit gebildet haben. Aber gelten diese Gesetzmässigkeiten auch für...

Im Focus: A “cosmic snake” reveals the structure of remote galaxies

The formation of stars in distant galaxies is still largely unexplored. For the first time, astron-omers at the University of Geneva have now been able to closely observe a star system six billion light-years away. In doing so, they are confirming earlier simulations made by the University of Zurich. One special effect is made possible by the multiple reflections of images that run through the cosmos like a snake.

Today, astronomers have a pretty accurate idea of how stars were formed in the recent cosmic past. But do these laws also apply to older galaxies? For around a...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

500 Kommunikatoren zu Gast in Braunschweig

20.11.2017 | Veranstaltungen

VDI-Expertenforum „Gefährdungsanalyse Trinkwasser"

20.11.2017 | Veranstaltungen

Technologievorsprung durch Textiltechnik

17.11.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Künstliche neuronale Netze: 5-Achs-Fräsbearbeitung lernt, sich selbst zu optimieren

20.11.2017 | Informationstechnologie

Tonmineral bewässert Erdmantel von innen

20.11.2017 | Geowissenschaften

Hemmung von microRNA-29 schützt vor Herzfibrosen

20.11.2017 | Biowissenschaften Chemie