{"id":9677,"date":"2019-10-15T09:48:05","date_gmt":"2019-10-15T07:48:05","guid":{"rendered":"https:\/\/www.betriebssysteme.org\/?page_id=9677"},"modified":"2020-01-10T08:54:01","modified_gmt":"2020-01-10T07:54:01","slug":"programm","status":"publish","type":"page","link":"https:\/\/www.betriebssysteme.org\/aktivitaeten\/treffen\/2019-osnabrueck\/programm\/","title":{"rendered":"Programm"},"content":{"rendered":"

Fachgruppentreffen in Osnabr\u00fcck, 21.\/22. November 2019<\/h2>\n

Stand: 15. Oktober 2019<\/span><\/h6>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Tag 1: Donnerstag, 21. November 2019<\/td>\n<\/tr>\n
13:00<\/td>\nBegr\u00fc\u00dfung (Nils Aschenbruck, Olaf Spinczyk)<\/td>\n<\/tr>\n
13:10<\/td>\nEingeladener Vortrag: Predictable High-Performance Networked Systems
\nGeorg Carle, TU M\u00fcnchen
\n<\/span>\n<\/td>\n<\/tr>\n
<\/td>\nSession 1: Modellierung (Chair: Nils Aschenbruck)
\n<\/span>\n<\/td>\n<\/tr>\n
13:50<\/td>\nTowards a Formalization of the Model by Jonsson and Olovsson [ <\/i><\/a> \/ <\/i><\/a> ]
\nBilly Naumann and Matthias Werner, Technische Universit\u00e4t Chemnitz
\n<\/span>\n<\/td>\n<\/tr>\n
14:15<\/td>\nKaffeepause<\/td>\n<\/tr>\n
<\/td>\nSession 2: Zuverl\u00e4ssige Systeme (Chair: Daniel Lohmann)
\n<\/span>\n<\/td>\n<\/tr>\n
14:35<\/td>\nCache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++ [ <\/i><\/a> \/ <\/i><\/a> ]
\nJana Traue, Marcel K\u00f6ppen, Christoph Borchert, J\u00f6rg Nolte and Olaf Spinczyk, TU Cottbus & Uni Osnabr\u00fcck
\n<\/span><\/td>\n<\/tr>\n
15:00<\/td>\nTowards Automatic SW Integration in Dependable Embedded Systems [ <\/i><\/a> \/ <\/i><\/a> ]
\nLeandro Batista Ribeiro and Marcel Baunach, TU Graz
\n<\/span><\/td>\n<\/tr>\n
15:25<\/td>\nA Formal Modeling Framework for Dependable and Portable Embedded Operating Systems [ <\/i><\/a> \/ <\/i><\/a> ]
\nRenata Martins Gomes and Marcel Baunach, TU Graz
\n<\/span><\/td>\n<\/tr>\n
15:40<\/td>\nSystems Support For Efficient State-Machine Replication<\/a> [ <\/i><\/a> \/ <\/i><\/a> \/ <\/i><\/a> ]
\nGerhard Habiger and Franz J. Hauck, Uni Ulm
\n<\/span><\/td>\n<\/tr>\n
15:55<\/td>\nKaffeepause<\/td>\n<\/tr>\n
16:15<\/td>\nVortrag Absolventenpreistr\u00e4ger der Fachgruppe:
\nAnalyzing and Optimizing TLB-Induced Thread Migration Costs on Linux\/ARM [ <\/i><\/a> ]
\nTobias Landsberg, Leibniz Universit\u00e4t Hannover
\n<\/span><\/td>\n<\/tr>\n		16:40<\/td>\nTreffen der Fachgruppe Betriebssysteme\n<\/td>\n<\/tr>\n
ab 18:30<\/td>\nAbendprogramm<\/a>: Rat- und Brauhaus<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Tag 2: Freitag 22. November 2019<\/td>\n<\/tr>\n
09:00<\/td>\nBegr\u00fc\u00dfung (Christian Becker)<\/td>\n<\/tr>\n
<\/td>\nSession 3: Zuverl\u00e4ssige Netze und verteilte Systeme (Chair: Christian Becker)
\n<\/span>\n<\/td>\n<\/tr>\n
09:05<\/td>\nBridging the gap: Challenges of deploying Network Coding in the real world [ <\/i><\/a> \/ <\/i><\/a> ]
\nBertram Schuetz, Uni Osnabr\u00fcck
\n<\/span><\/td>\n<\/tr>\n
09:30<\/td>\nEfficient Checkpointing in Byzantine Fault-Tolerant Systems<\/a> [ <\/i><\/a> \/ <\/i><\/a> \/ <\/i><\/a> ]
\nMichael Eischer und Tobias Distler, FAU Erlangen-N\u00fcrnberg
\n<\/span><\/td>\n<\/tr>\n
09:55<\/td>\nIn Microservices We Trust \u2014 Do Microservices Solve Resilience Challenges?<\/a> [ <\/i><\/a> \/ <\/i><\/a> \/ <\/i><\/a> ]
\nMarcus Hilbrich, TU Chemnitz
\n<\/span><\/td>\n<\/tr>\n
10:20<\/td>\nTowards a Robust, Self-Organizing IoT Platform for Secure and Dependable Service Execution<\/a> [ <\/i><\/a> \/ <\/i><\/a> \/ <\/i><\/a>]
\nPhilipp Eichhammer, Christian Berger, Hans P. Reiser, J\u00f6rg Domaschka, Franz J. Hauck, Gerhard Habiger, Frank Griesinger und Jakob Pietron, Uni Passau & Ulm
\n<\/span><\/td>\n<\/tr>\n
10:45<\/td>\nKaffeepause<\/td>\n<\/tr>\n
<\/td>\nSession 4: Offene Themen aus der Welt der Betriebssysteme (Chair: Horst Schirmeier)
\n<\/span>\n<\/td>\n<\/tr>\n
11:10<\/td>\nA Fast and Secure Key-Value Service Using Hardware Enclaves [ <\/i><\/a> \/ <\/i><\/a> ]
\nInes Messadi und R\u00fcdiger Kapitza, TU Braunschweig
\n<\/span><\/td>\n<\/tr>\n
11:35<\/td>\nFlexible Operating System Architecture [ <\/i><\/a> \/ <\/i><\/a> ]
\nMartin Decky, Huawei Technologies
\n<\/span><\/td>\n<\/tr>\n
12:00<\/td>\nFast switching between operating systems using a pass-through hypervisor [ <\/i><\/a> \/ <\/i><\/a> ]
\nSebastian Eydam, Jana Traue und Thomas Prescher, BTU Cottbus & Cyberus Technology
\n<\/span><\/td>\n<\/tr>\n
12:25<\/td>\nRT.js: Practical Real-Time Scheduling for Web Applications [ <\/i><\/a> \/ <\/i><\/a> ]
\nStefan Naumann and Daniel Lohmann, Leibniz Universit\u00e4t Hannover
\n<\/span><\/td>\n<\/tr>\n
12:50<\/td>\nVerabschiedung\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div><\/div><\/div><\/div><\/div>","protected":false},"excerpt":{"rendered":"

Fachgruppentreffen in Osnabr\u00fcck, 21.\/22. November 2019 Stand: 15. Oktober 2019 Tag 1: Donnerstag, 21. November 2019 13:00 Begr\u00fc\u00dfung (Nils Aschenbruck, Olaf Spinczyk) 13:10 Eingeladener Vortrag: Predictable High-Performance Networked Systems Georg Carle, TU M\u00fcnchen Session 1: Modellierung (Chair: Nils Aschenbruck) 13:50 Towards a Formalization of the Model by Jonsson and Olovsson [ \/ ] Billy Naumann […]<\/p>\n","protected":false},"author":21,"featured_media":0,"parent":9260,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-9677","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/9677","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/users\/21"}],"replies":[{"embeddable":true,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/comments?post=9677"}],"version-history":[{"count":19,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/9677\/revisions"}],"predecessor-version":[{"id":10402,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/9677\/revisions\/10402"}],"up":[{"embeddable":true,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/9260"}],"wp:attachment":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/media?parent=9677"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}