Universität des SaarlandesCampus E1 5
66123 Saarbrücken
Branche: IKT
Das Max-Planck-Institut für Softwaresysteme an den Standorten Kaiserslautern und Saarbrücken betreibt Grundlagenforschung, die sich unter anderem dem Sprachdesign, der Analyse, der Modellierung, Einführung und Auswertung von Softwaresystemen widmet. Spezielle Interessensgebiete umfassen die System-Programmierung, den Vergleich von dezentralen und Netzwerksystemen, von eingebetteten und autonomen Systemen ebenso wie Aspekte der formalen Modellierung, Analyse, Sicherheit und Stabilität von modernster Softwaretechnik.
Projekte in Smart Mobility:
• Computer-Systeme durchdringen das tägliche Leben. Neben klassischer Datenverarbeitung oder Internetanwendungen befinden sich ausgeklügelte Softwaresysteme in fast allen technischen Geräten, vom Handy bis zur Verkehrsampel. Sie unterstützen beispielsweise den Betrieb von Banken, Kliniken, Hochschulen und Behörden.
• Die Vernetzung im Rahmen der Smart Mobility beruht auf der Verwendung von robusten und effizienten Software.
• Das Max-Planck Institut für Softwaresysteme in Saarbrücken hat die Erforschung und Entwicklung von solchen Softwares sich zum Ziel gesetzt. Anwendung finden diese Software in den Bereichen Telekommunikation, Mobilität und Verwaltung.
Standorte:
• Saarbrücken
• Kaiserslautern
Geschäftsfelder:
• ALGORITHMS THEORY & LOGIC
• PROGRAMMING LANGUAGES & VERIFICATION
• CYBER-PHYSICAL SYSTEMS
• DISTRIBUTED NETWORKED & MOBILE SYSTEMS
• SECURITY & PRIVACY
• SOCIAL & INFORMATION SYSTEMS
• MORE CS MAX PLANCK