Max-Planck-Institut für Softwaresysteme, Standort Kaiserslautern

Max-Planck holt zwölf Synergy Grants und liegt damit im ERC-Ranking auf Platz eins

Die Kooperation stärkt die anwendungsbezogene Forschung an Künstlicher Intelligenz in Deutschland

Eine neue Technik ermöglicht es, Komponenten einer Software mit geringem Rechenaufwand voneinander zu isolieren

Fake News in Sozialen Medien effizienter und treffgenauer bekämpfen: Manuel Gomez Rodriguez vom Max-Planck-Institut für Softwaresysteme kombiniert Verfahren der Künstlichen Intelligenz mit der Auswertung von Signalen, in denen sich menschliches Urteil widerspiegelt

Rupak Majumdar, Direktor am Max-Planck-Institut für Softwaresysteme in Kaiserslautern, entwickelt mathematische Methoden, um die Zuverlässigkeit der vernetzten Systeme zu garantieren.

Fake News in sozialen Medien effizienter und treffgenauer bekämpfen: Manuel Gomez Rodriguez vom Max-Planck-Institut für Softwaresysteme kombiniert Verfahren der künstlichen Intelligenz mit der Auswertung von Signalen, in denen sich menschliches Urteil widerspiegelt.

Damit es im Straßenverkehr sicherer zugeht oder Strom aus regenerativen Quellen optimal genutzt werden kann, sind cyberphysikalische Systeme gefragt. Sie verbinden Fahrzeuge mit Sensoren, die den Verkehr beobachten, und schicken etwa bei Gefahr Bremsbefehle an Autos. Oder sie verteilen den Strom aus vielen Kraftwerken möglichst effizient an die Verbraucher. Rupak Majumdar, Direktor am Max-Planck-Institut für Softwaresysteme in Kaiserslautern, entwickelt mathematische Methoden, um die Zuverlässigkeit der vernetzten Systeme zu garantieren.

Daten sind der Rohstoff der Informationsgesellschaft. Oft genug aber geraten Unternehmen, die nicht auf umfassende Datenanalysen verzichten wollen, in Konflikt mit dem Datenschutz. Paul Francis, Direktor am Max-Planck-Institut für Softwaresysteme in Kaiserslautern, sucht einen Ausgleich zwischen den gegenläufigen Interessen. Sein Unternehmen Aircloak spielt dabei eine wichtige Rolle.

Wenn ein Computer eine Webseite extrem langsam aufbaut, ist das vielleicht ärgerlich, aber nicht mehr. Wenn jedoch die Elektronik im Auto oder in Flugzeugen nicht absolut pünktlich Befehle verarbeitet, dann kann das lebensgefährlich werden. Unter welchen Bedingungen die dort gefragten Echtzeitsysteme zuverlässig funktionieren, untersuchen Björn Brandenburg und sein Team am Max-Planck-Institut für Softwaresysteme in Kaiserslautern und Saarbrücken.

Daten sind der Rohstoff der Informationsgesellschaft. Oft genug aber geraten Unternehmen, die nicht auf umfassende Datenanalysen verzichten wollen, in Konflikt mit dem Datenschutz. Paul Francis, Direktor am Max-Planck-Institut für Softwaresysteme in Kaiserslautern, sucht einen Ausgleich zwischen den gegenläufigen Interessen. Sein Unternehmen Aircloak spielt dabei eine wichtige Rolle.

Wenn ein Computer eine Webseite extrem langsam aufbaut, ist das vielleicht ärgerlich, aber nicht mehr. Wenn jedoch die Elektronik im Auto oder in Flugzeugen nicht absolut pünktlich Befehle verarbeitet, dann kann das lebensgefährlich werden. Unter welchen Bedingungen die dort gefragten Echtzeitsysteme zuverlässig funktionieren, untersuchen Björn Brandenburg und sein Team am Max-Planck-Institut für Softwaresysteme in Kaiserslautern und Saarbrücken.

Damit es im Straßenverkehr sicherer zugeht oder Strom aus regenerativen Quellen optimal genutzt werden kann, sind cyberphysikalische Systeme gefragt. Sie verbinden Fahrzeuge mit Sensoren, die den Verkehr beobachten, und schicken etwa bei Gefahr Bremsbefehle an Autos. Oder sie verteilen den Strom aus vielen Kraftwerken möglichst effizient an die Verbraucher. Rupak Majumdar, Direktor am Max-Planck-Institut für Softwaresysteme in Kaiserslautern, entwickelt mathematische Methoden, um die Zuverlässigkeit der vernetzten Systeme zu garantieren.

Asynchrone Programmierung ist ein Paradigma, das häufig in Low-Level-Systemsoftware, der Web-Programmierung und in Benutzeranwendungen auf mobilen Plattformen eingesetzt wird. Allerdings ist es schwierig für Programmierer*innen sicherzustellen, dass solche Programme kein unerwartetes Verhalten aufweisen. Dies macht Software-Werkzeuge zur Verifikation notwendig, die automatisch die Korrektheit eines Programms nachweisen bzw. eine fehlerhafte Ausführung aufzeigen können. Wir haben einen neuen Ansatz gefunden, der die automatische Verifikation einer großen Vielfalt asynchroner Programme erlaubt. 

Approximationen finden sich in vielen unserer Computersysteme. Sie helfen dabei, Resourcen wie Zeit und Energie zu sparen, aber sie führen zwangsläufig auch Fehler ein. Wie beeinflussen diese Fehler die Genauigkeit unserer Berechnungen insgesamt? Um die Komplexität heutiger Computerprogramme beherrschen zu können, müssen wir Tools entwickeln, die automatisch die Auswirkungen von solchen Fehlern analysieren und somit Ingenieuren helfen, korrekten und effizienten Code zu schreiben.

Das Internet ist eine Fundgrube von Informationen und Wissen für ein breites Spektrum an Themen. Es gibt eine wachsende Anzahl von Internetseiten, wie etwa Fragen-Antworten-Seiten, Online-Communities oder Mikroblogs, auf denen Wissen von Vielen durch Crowdsourcing beigesteuert wird und die Wissensbeiträge von diesem Massenpublikum betreut werden. Solche Internetseiten enthalten eine Anzahl ungeprüfter Meldungen fragwürdiger Herkunft. Der Bedarf an computerbasierten Methoden wächst, mit denen sich die Schaffung, der Konsum und die Verbreitung von vertrauenswürdigem Wissen verbessern lassen.

Social Computing-Systeme sind eine sich entwickelnde Kategorie von Human-Computer-Systemen. Dazu zählen beispielsweise soziale Netzwerkseiten wie Facebook und Google Plus, Blogging- und Microblogging-Dienste wie Twitter oder LiveJournal, anonyme Social Media-Seiten wie Whisper und 4chan, Content Sharing-Plattformen wie YouTube und Instagram, Social Bookmarking-Websites wie Reddit oder Pinterest, Crowdsourcing-gestützte Meinungsseiten wie Yelp und eBay-Verkäuferratings und Social Peer Production-Plattformen wie Wikipedia und Amazons Mechanical.

Computer stecken heutzutage in allen modernen Technologien: Sie beobachten, sie steuern, sie entscheiden. Wenn alles gut geht, halten sie Autos in der Spur und unbemannte Luftfahrzeuge in der Luft. Doch was passiert, wenn etwas schief geht? Wenn die allgegenwärtigen Rechner, sogenannte cyber-physische Systeme, fehlerhaft sind? Um sicherzustellen, dass zukünftige Technologien auch im Computerzeitalter beherrschbar bleiben, entwickeln Forscher am Max-Planck-Institut für Softwaresysteme Grundlagen für nachweisbar fehlerfreie cyber-physische Systeme.