Fachgruppentreffen in Osnabrück, 21./22. November 2019
Stand: 15. Oktober 2019
| Tag 1: Donnerstag, 21. November 2019 | |
| 13:00 | Begrüßung (Nils Aschenbruck, Olaf Spinczyk) |
| 13:10 | Eingeladener Vortrag: Predictable High-Performance Networked Systems Georg Carle, TU München |
| Session 1: Modellierung (Chair: Nils Aschenbruck) |
|
| 13:50 | Towards a Formalization of the Model by Jonsson and Olovsson [ / ] Billy Naumann and Matthias Werner, Technische Universität Chemnitz |
| 14:15 | Kaffeepause |
| Session 2: Zuverlässige Systeme (Chair: Daniel Lohmann) |
|
| 14:35 | Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++ [ / ] Jana Traue, Marcel Köppen, Christoph Borchert, Jörg Nolte and Olaf Spinczyk, TU Cottbus & Uni Osnabrück |
| 15:00 | Towards Automatic SW Integration in Dependable Embedded Systems [ / ] Leandro Batista Ribeiro and Marcel Baunach, TU Graz |
| 15:25 | A Formal Modeling Framework for Dependable and Portable Embedded Operating Systems [ / ] Renata Martins Gomes and Marcel Baunach, TU Graz |
| 15:40 | Systems Support For Efficient State-Machine Replication [ / / ] Gerhard Habiger and Franz J. Hauck, Uni Ulm |
| 15:55 | Kaffeepause |
| 16:15 | Vortrag Absolventenpreisträger der Fachgruppe: Analyzing and Optimizing TLB-Induced Thread Migration Costs on Linux/ARM [ ] Tobias Landsberg, Leibniz Universität Hannover |
16:40 | Treffen der Fachgruppe Betriebssysteme |
| ab 18:30 | Abendprogramm: Rat- und Brauhaus |
| Tag 2: Freitag 22. November 2019 | |
| 09:00 | Begrüßung (Christian Becker) |
| Session 3: Zuverlässige Netze und verteilte Systeme (Chair: Christian Becker) |
|
| 09:05 | Bridging the gap: Challenges of deploying Network Coding in the real world [ / ] Bertram Schuetz, Uni Osnabrück |
| 09:30 | Efficient Checkpointing in Byzantine Fault-Tolerant Systems [ / / ] Michael Eischer und Tobias Distler, FAU Erlangen-Nürnberg |
| 09:55 | In Microservices We Trust — Do Microservices Solve Resilience Challenges? [ / / ] Marcus Hilbrich, TU Chemnitz |
| 10:20 | Towards a Robust, Self-Organizing IoT Platform for Secure and Dependable Service Execution [ / / ] Philipp Eichhammer, Christian Berger, Hans P. Reiser, Jörg Domaschka, Franz J. Hauck, Gerhard Habiger, Frank Griesinger und Jakob Pietron, Uni Passau & Ulm |
| 10:45 | Kaffeepause |
| Session 4: Offene Themen aus der Welt der Betriebssysteme (Chair: Horst Schirmeier) |
|
| 11:10 | A Fast and Secure Key-Value Service Using Hardware Enclaves [ / ] Ines Messadi und Rüdiger Kapitza, TU Braunschweig |
| 11:35 | Flexible Operating System Architecture [ / ] Martin Decky, Huawei Technologies |
| 12:00 | Fast switching between operating systems using a pass-through hypervisor [ / ] Sebastian Eydam, Jana Traue und Thomas Prescher, BTU Cottbus & Cyberus Technology |
| 12:25 | RT.js: Practical Real-Time Scheduling for Web Applications [ / ] Stefan Naumann and Daniel Lohmann, Leibniz Universität Hannover |
| 12:50 | Verabschiedung |