Hauptinhalt

Überblick Proseminar

Konzepte von Betriebssystem-Komponenten - Abstraktionen in Betriebssystemen

• Modus: Virtuell synchron per BigBlueButton
• Präsentationskurs: integriert
• Termin: Freitags, 12 Uhr c.t. (online)

News

09.11.2020:	Der reguläre Termin für das Proseminar ist nun auf Freitags 12 Uhr (c.t.) festgelegt
26.10.2020:	Das Seminar startet in der KW45, der genaue Termin wird noch mit den Teilnehmern abgestimmt
05.10.2020:	Wir sind in Dortmund angekommen und die Webseite zieht mit um!
29.06.2020:	Wichtig: Aufgrund der Corona-Situation findet das Seminar im WS 2020/21 als Onlineveranstaltung per Videokonferenz statt. Die Anmeldung in Dortmund läuft vom 29.06.-03.07.2020.
29.06.2020:	Die KvKB-Webseite zum WS20/21 ist online.

Kurzbeschreibung des Seminars

Das Seminar beschäftigt sich mit aktueller Forschung zu verschiedensten Abstraktionen in Betriebssystemen. Um Abschirmung von bzw. Vermittlung zwischen Hardware und Anwendungsprogrammen zu ermöglichen, verwalten Betriebssysteme verschiedenartigste Betriebsmittel. Diese Verwaltung erfolgt durch abstrakte Repräsentation tatsächlicher Hardware- oder Umweltressourcen.

Das Seminar bietet einen Einblick in aktuelle Forschung bezügliche solcher abstrakten Repräsentationen unterschiedlichster Ressourcen, wie beispielsweise Zeit, Energie und verschiedene Speicherarten. Zu jedem Ressourcen-Schwerpunkt werden mehrere Themen behandelt, die jeweils mehrere Forschungsarbeiten aus dem Systems-Bereich diskutieren.
Die Anmeldung zum Seminar erfolgt hier.

Die am Seminar teilnehmenden Studierenden wählen, ob sie den Vortrag und die Ausarbeitung auf Deutsch oder Englisch erstellen.

Note: The students participating in the seminar are free to choose German or English as language for their presentation and paper.

Semesterzeitplan

Termin	Thema	Folien	Zusatzmetrial
05.11.2020	Organisation, Einführung und Themenvergabe
13.11.2020	Moderner Wissenschaftsbetrieb, Lesen und Begutachten von Fachliteratur
20.11.2020	Vortragstechniken		Animiert
27.11.2020	Arbeitstechnik und LaTeX		LaTeX-Kurzbschreibung LaTeX (Not So) Short Introduction Git Fakultät Informatik GitLab der Fachschaft Informatik
04.12.2020	Praktische Übung: Lesen & Diskutieren von Papieren		Stefan Reif et al.: Work In Progress: Control-Flow Migration for Data-Locality Optimisation in Multi-Core Real-Time Systems
11.12.2020	Praktische Übung: Vortragsdiskussion		Matthias Hille et al.: SemperOS: A Distributed Capability System Vortrag
18.12.2020	Sauberes wissenschaftliches Arbeiten Abgabe Exposé
08.01.2021	entfällt Abgabe Vorträge 1
15.01.2021	Vorträge 1 Abgabe Vorträge 2	Concurrency Groups: A New Way to Look at Real-Time Multiprocessor Lock Nesting Deterministic Futexes: Addressing WCET and Bounded Interference Concerns I/O Is Faster Than the CPU: Let’s Partition Resources and Eliminate (Most) OS Abstractions A Real-Time Scratchpad-Centric OS for Multi-Core Embedded Systems
22.01.2021	Vorträge 2 Abgabe Vorträge 3	Implementation of Memory Centric Scheduling for COTS Multi-Core Real-Time Systems A Predictable Execution Model for COTS-Based Embedded Systems
29.01.2021	Vorträge 3 Abgabe Vorträge 4	Increasing the Predictability of Modern COTS Hardware through Cache-Aware OS-Design Scheduling-Context Capabilities: A Principled, Light-Weight Operating-System Mechanism for Managing Time ExtOS: Data-Centric Extensible OS CyPhOS – A Component-Based Cache-Aware Multi-Core Operating System
05.02.2021	Vorträge 4 Abgabe Vorträge 5	A simpler, safer programming and execution model for intermittent systems TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems A Novel Side-Channel in Real-Time Schedulers TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference
12.02.2021	Vorträge 5	Quantum Operating Systems dOSEK: the design and implementation of a dependability-oriented static embedded On Intermittence Bugs in the Battery-Less Internet of Things Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance

Hinweis: Die konkreten Termine für die Vorträge werden in der Einführungsveranstaltung vergeben.

Betreuer

Prof. Dr. Peter Ulbrich