Verlässliche Betriebssystemumgebungen
Programm des Fachgruppentreffens am 22./23. Mai 2014
Stand 16.04.2014
Donnerstag, 22.05.2014
|
| 12:45 |
Begrüßung
|
| Sitzung 1 |
Fehlertoleranz
|
| 13:00 |
Iterative Dependable Systems Engineering with Fail*
Horst Schirmeier, TU Dortmund
 Abstract |
| 13:40 |
Crosscheck: Tolerierung beliebiger Zustandsveränderungen in replizierten, mehrfädigen Diensten
Arthur Martens, TU Braunschweig
Abstract
|
| 14:00 |
Ex-Post Hardening Operating Systems to Survive Main-Memory Errors
Christoph Borchert, TU Dortmund
Abstract
|
| 14:30 |
Kaffeepause
|
| Sitzung 2 |
Isolation
|
| 14:50 |
Genode - OS Security By Design
Norman Feske, Genode Labs GmbH
Abstract
|
| 15:20 |
ELKVM - Efficient Process Isolation using Virtual Machines
Florian Pester, TU Dresden
Abstract
|
| 15:50 |
Autobest - Software Hypervisor for Embedded Systems
Andre Himmighofen, easycore GmbH
Abstract
|
| 16:40 |
Fachgruppe Betriebssysteme - Mitgliederversammlung
|
| 17:15 - 18:15 |
Keynote (Videovortrag)
An Overview of Intel's SGX Security Extensions
Carlos V. Rozas, Intel Hillsboro
Abstract
|
| |
Abendveranstaltung
|
Freitag, 23.05.2014
|
| Sitzung 3 |
Parallelität
|
| 09:00 |
Echtzeitfähige Taskmigration auf Many-Core Prozessoren
Peter Munk, TU Berlin
Abstract
|
| 09:30 |
Reliably Replicating Block Devices (even over long distances)
Thomas Schoebel-Theuer
Abstract
|
| 10:00 |
Concurrent RDMA Writes: A Design for a Key-Value Store
Marius Hillenbrand, KIT
Abstract
|
| 10:30 |
Kaffeepause
|
| Sitzung 4 |
Verschiedenes
|
| 10:50 |
Controlling Concurrent Change
Johannes Schlatow, TU Braunschweig
Abstract
|
| 11:20 |
Efficient Full Memory System Tracing with SimuTrace
Marc Rittinghaus, Thorsten Groeninger, Frank Bellosa, KIT
Abstract
|
| 11:50 |
LoGV: Low-overhead GPGPU Virtualization
Jens Kehne, KIT
Abstract
|
| 12:20 |
POSIX-Basierte Softwarebibliothek zur Evaluation und Nutzung von Plattformen für Echtzeitanwendungen
Dieter Zoebel, Andreas Stahlhofen, Yessika Legat, Veronika Adams, Univ. Koblenz-Landau
Abstract
|
| 13:00 |
Ende
|
|
