Startseite

Eingerichtet im Jahre 1972, geführt von 2002 in zweiter Generation bis Ende September 2023 und seit Oktober 2023 nunmehr in dritter Generation beschäftigt sich der Lehrstuhl für Informatik 4 mit grundlegenden Fragestellungen zu Komplexen eben jener Systemsoftware, die Programme oder Anwendungen unterstützt und die Programmierung oder Bedienung von Rechensystemen erleichtert, die Ausführung von Programmen überwacht und steuert, Rechensysteme in einer bestimmten Art und Weise zuverlässig und effizient betreibt und mit all diesen Merkmalen eine abstrakte Maschine implementiert — einer Softwareschicht, gemeinhin bezeichnet als Betriebssystem beziehungsweise Middleware. In dem Sinne sind Lehre und Forschung am Lehrstuhl ausgerichtet allgemein auf eine in raum-, zeit- und energetischer Hinsicht ressourcenbewusste Systemprogrammierung für stationäre, mobile, eingebettete und zentralisierte oder verteilte Systeme, deren einzelne Knoten typischerweise parallele Rechensysteme in Form mehr- oder vielkerniger Prozessoren bilden können.

Vorträge

Datum Titel Vortragende[r]
2024-11-13 Statusbericht: Systematic comparison of software fault mitigation techniques Fiona Broemer
2024-11-19 Bericht: Referenzzähler-Checks für JITTY Ole Wiedemann
2024-11-26 MA-Vortrag: Carbon-Aware Systemd Timers Michael Gebhard

Am 24. und 25. Oktober fand das diesjährige Herbsttreffen des Fachbereichs SYS in Stuttgart statt. Hierbei trafen sich am 24. Oktober die Fachgruppen "Betriebssysteme" (FGBS) und "Kommunikation und Verteilte Systeme" (KuVS) zunächst zu einem gemeinsamen Treffen, bei welchem nach einer Vortrags...

Letzten Monat hat Luis seine aktuelle Arbeit an verbesserten Spectre-Abwehrmaßnahmen für Linux eBPF auf der Linux Plumbers Conference (LPC) und der RAID'24 vorgestellt. Ersteres fand in Wien, letzteres in Padua (Italien) statt. VeriFence vereinfacht die Entwicklung unprivilegierter Anwendungen, die ...

Eva Dengler besuchte letzte Woche die ECRTS in Lille, Frankreich. Sie präsentierte dort unseren Beitrag "Crêpe: Clock-Reconfiguration-Aware Preemption Control in Real-Time Systems with Devices", verfasst zusammen mit Peter Wägemann. Das Papier beschäftigt sich mit der Optimierung von zeitkritische...

Heute findet die dritte Ausgabe des HotCarbon-Workshops in Santa Cruz, Kalifornien statt. Unser Lehrstuhl ist dort mit dem Beitrag "CO2CoDe: Towards Carbon-Aware Hardware/Software Co-Design for Intermittently-Powered Embedded Systems" vertreten, für den Phillip Raffeck einen Videovortrag aufgenommen...

Phillip Raffeck besuchte letzte Woche die PLDI-Konferenz in Kopenhagen, Dänemark. Im Rahmen der angegliederten LCTES-Konferenz stellte er unseren Beitrag mit dem Titel WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States vor, dessen Ansatz mittels stati...