{"id":12823,"date":"2025-01-16T15:16:47","date_gmt":"2025-01-16T14:16:47","guid":{"rendered":"https:\/\/www.betriebssysteme.org\/?page_id=12823"},"modified":"2025-02-04T16:07:46","modified_gmt":"2025-02-04T15:07:46","slug":"2025-potsdam","status":"publish","type":"page","link":"https:\/\/www.betriebssysteme.org\/aktivitaeten\/treffen\/2025-potsdam\/","title":{"rendered":"Fr\u00fchjahrstreffen 2025 in Potsdam"},"content":{"rendered":"<div id=\"pl-12823\"  class=\"panel-layout\" ><div id=\"pg-12823-0\"  class=\"panel-grid panel-no-style\" ><div id=\"pgc-12823-0-0\"  class=\"panel-grid-cell\" ><div id=\"panel-12823-0-0-0\" class=\"so-panel widget widget_sow-image panel-first-child\" data-index=\"0\" ><div\n\t\t\t\n\t\t\tclass=\"so-widget-sow-image so-widget-sow-image-default-8b5b6f678277-12823\"\n\t\t\t\n\t\t>\n<div class=\"sow-image-container\">\n\t\t<img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.betriebssysteme.org\/wp-content\/uploads\/2025\/01\/Universitaet_Potsdam_-_Hoersaalgebaeude_des_HPI.jpg\" width=\"1280\" height=\"960\" srcset=\"https:\/\/www.betriebssysteme.org\/wp-content\/uploads\/2025\/01\/Universitaet_Potsdam_-_Hoersaalgebaeude_des_HPI.jpg 1280w, https:\/\/www.betriebssysteme.org\/wp-content\/uploads\/2025\/01\/Universitaet_Potsdam_-_Hoersaalgebaeude_des_HPI-300x225.jpg 300w, https:\/\/www.betriebssysteme.org\/wp-content\/uploads\/2025\/01\/Universitaet_Potsdam_-_Hoersaalgebaeude_des_HPI-1024x768.jpg 1024w, https:\/\/www.betriebssysteme.org\/wp-content\/uploads\/2025\/01\/Universitaet_Potsdam_-_Hoersaalgebaeude_des_HPI-768x576.jpg 768w\" sizes=\"auto, (max-width: 1280px) 100vw, 1280px\" title=\"Von Jorges - selbstfotografiert , http:\/\/de.wikipedia.org\/wiki\/Bild:Universitaet_Potsdam_-_Hoersaalgebaeude_des_HPI.jpg, CC BY-SA 3.0, https:\/\/commons.wikimedia.org\/w\/index.php?curid=1437618\" alt=\"H\u00f6rsaalgeb\u00e4ude des Hasso-Plattner-Instituts - Jorges, , &lt;a class=&quot;external free&quot; href=&quot;https:\/\/de.wikipedia.org\/wiki\/Bild:Universitaet_Potsdam_-_Hoersaalgebaeude_des_HPI.jpg&quot;&gt;http:\/\/de.wikipedia.org\/wiki\/Bild:Universitaet_Potsdam_-_Hoersaalgebaeude_des_HPI.jpg&lt;\/a&gt;, &lt;a href=&quot;http:\/\/creativecommons.org\/licenses\/by-sa\/3.0\/&quot; title=&quot;Creative Commons Attribution-Share Alike 3.0&quot;&gt;CC BY-SA 3.0&lt;\/a&gt;, &lt;a href=&quot;https:\/\/commons.wikimedia.org\/w\/index.php?curid=1437618&quot;&gt;Link&lt;\/a&gt;\" \t\tclass=\"so-widget-image\"\/>\n\t<\/div>\n\n<\/div><\/div><div id=\"panel-12823-0-0-1\" class=\"so-panel widget widget_sow-editor panel-last-child\" data-index=\"1\" ><div\n\t\t\t\n\t\t\tclass=\"so-widget-sow-editor so-widget-sow-editor-base\"\n\t\t\t\n\t\t>\n<div class=\"siteorigin-widget-tinymce textwidget\">\n\t<p style=\"text-align: center;\">Das Fr\u00fchjahrstreffen der GI-Fachgruppe <a href=\"https:\/\/www.betriebssysteme.org\">\"Betriebssysteme\" (FGBS)<\/a> findet am<\/p>\n<p style=\"text-align: center;\"><b><i>Donnerstag, 13. und Freitag, 14. M\u00e4rz 2025<\/i><\/b><\/p>\n<p style=\"text-align: center;\"><strong>in Potsdam<\/strong> statt.<\/p>\n<p style=\"text-align: center;\">Gastgeber ist Prof. Andreas Polze (HPI).<\/p>\n<h1 style=\"text-align: center;\">Verl\u00e4ssliche, Verteilte und Eingebettete Systeme<\/h1>\n<p>Verteilte und eingebettete Systeme sind heute ein selbstverst\u00e4ndlicher Teil unseres Alltags. Sie steuern unsere Fahrzeuge, verbinden uns \u00fcber Kommunikationsnetze und gew\u00e4hrleisten die Zuverl\u00e4ssigkeit kritischer Infrastrukturen wie Energieversorgung oder medizinische Ger\u00e4te. Damit diese Systeme auch unter anspruchsvollen Bedingungen sicher, effizient und zuverl\u00e4ssig funktionieren, sind innovative Ans\u00e4tze erforderlich \u2013 von global skalierenden Cloud- und Edge-Systemen \u00fcber IoT-Middleware bis hin zu spezialisierten eingebetteten Plattformen.<\/p>\n<p>Das Fr\u00fchjahrstreffen der Fachgruppe Betriebssysteme legt den Fokus auf Fragestellungen, die Verbesserung\u00a0 verteilter und eingebetteter Systeme beitragen. Dazu z\u00e4hlen insbesondere:<\/p>\n<ul>\n<li><strong>Fehlertoleranz und Zuverl\u00e4ssigkeit<\/strong>: Mechanismen zur Fehlererkennung, Wiederherstellung und Resilienz in verteilten und eingebetteten Architekturen.<\/li>\n<li><strong>Echtzeitf\u00e4higkeit und Ressourcenmanagement<\/strong>: Garantien f\u00fcr Timings und effiziente Ressourcennutzung in zeitkritischen eingebetteten und verteilten Anwendungen.<\/li>\n<li><strong>Sicherheitsaspekte<\/strong>: Schutz vor Angriffen und Ausf\u00e4llen in Systemen mit hohen Sicherheitsanforderungen, einschlie\u00dflich Mechanismen f\u00fcr Datenintegrit\u00e4t und Zugriffskontrolle.<\/li>\n<li><strong>Kommunikation und Synchronisation<\/strong>: Protokolle und Techniken zur effizienten und konsistenten Zusammenarbeit von Komponenten in verteilten und eingebetteten Umgebungen.<\/li>\n<li><strong>Betriebssystemunterst\u00fctzung<\/strong>: Entwicklung und Optimierung von Betriebssystemen und Middleware f\u00fcr eingebettete und verteilte Plattformen.<\/li>\n<li><strong>Formale Methoden und Verifikation<\/strong>: Werkzeuge und Ans\u00e4tze zur Analyse und Verifizierung von Zuverl\u00e4ssigkeits- und Sicherheitsanforderungen.<\/li>\n<li><strong>Praxisnahe Anwendungen und Evaluierung<\/strong>: Erfahrungen und Herausforderungen bei der Implementierung und Optimierung realer verteilter und eingebetteter Systeme.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>Einreichungen erfolgen wahlweise in Form eines maximal einseitigen Abstracts (nur Vortrag) oder optional als 2- bis 6-seitiges bislang unpubliziertes Papier (ACM-Konferenzstil) in deutscher oder englischer Sprache. \u00dcber die Annahme der Einreichungen entscheidet ein Programmkomitee aus Mitgliedern des Leitungsgremiums. Im Falle der Annahme werden Papiere (2-6 Seiten) in der digitalen Bibliothek der Gesellschaft f\u00fcr Informatik publiziert.<\/p>\n<p>Wir hei\u00dfen ausdr\u00fccklich Vortr\u00e4ge in englischer Sprache willkommen. Um nicht-deutschsprachigen Mitglieder die Teilnahme an der Veranstaltung zu erleichtern, wird die Vortragssprache im Programm kenntlich gemacht.<\/p>\n<p><em>Andreas Polze (HPI) und Peter Ulbrich (Sprecher)<\/em><\/p>\n<hr \/>\n<p style=\"text-align: center;\">The Spring Meeting of the GI Special Interest Group <a href=\"https:\/\/www.betriebssysteme.org\">\"Operating Systems\" (FGBS)<\/a> will take place on<\/p>\n<p style=\"text-align: center;\"><b><i>Thursday, 13th and Friday, 14th March 2025<\/i><\/b><\/p>\n<p style=\"text-align: center;\"><strong>in Potsdam<\/strong>.<\/p>\n<p style=\"text-align: center;\">Your host is Prof. Andreas Polze (HPI).<\/p>\n<h1 style=\"text-align: center;\">Reliable, Distributed, and Embedded Systems.<\/h1>\n<p>Distributed and embedded systems have become an integral part of our daily lives. They power our vehicles, connect us via communication networks, and ensure the reliability of critical infrastructures such as energy supplies and medical devices. To ensure that these systems operate safely, efficiently, and reliably, even under challenging conditions, innovative approaches in operating systems, middleware, and system software are essential.<\/p>\n<p>The meeting will focus on questions related to enhancing the reliability of distributed and embedded systems. Key topics include:<\/p>\n<ul>\n<li><strong>Fault tolerance and reliability<\/strong>: Mechanisms for fault detection, recovery, and resilience in distributed and embedded architectures.<\/li>\n<li><strong>Real-time capabilities and resource management<\/strong>: Guarantees for timing and efficient resource usage in time-critical embedded and distributed applications.<\/li>\n<li><strong>Security aspects<\/strong>: Protection against attacks and failures in systems with high security requirements, including mechanisms for data integrity and access control.<\/li>\n<li><strong>Communication and synchronization<\/strong>: Protocols and techniques for efficient and consistent collaboration between components in distributed and embedded environments.<\/li>\n<li><strong>Operating system support<\/strong>: Development and optimization of operating systems and middleware for embedded and distributed platforms.<\/li>\n<li><strong>Formal methods and verification<\/strong>: Tools and approaches for analyzing and verifying reliability and security requirements.<\/li>\n<li><strong>Practical applications and evaluation<\/strong>: Experiences and challenges in implementing and optimizing real-world distributed and embedded systems.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>Topics from adjacent areas of system software and operating systems are, as always, also welcome.<\/p>\n<p>Please submit either a one-page abstract (presentation only) or a 2- to 6-page unpublished paper (ACM conference style) in German or English. A program committee consisting of members of the two steering boards will review the submissions and decide on their acceptance. In case of acceptance, papers (2-6 pages) will be published in the digital library of the Gesellschaft f\u00fcr Informatik.<\/p>\n<p>We explicitly welcome presentations in English. The talks' language will be indicated in the program to facilitate non-German members' participation in our workshops.<\/p>\n<p><em>Andreas Polze (HPI) and Peter Ulbrich (Speaker)<\/em><\/p>\n<\/div>\n<\/div><\/div><\/div><div id=\"pgc-12823-0-1\"  class=\"panel-grid-cell\" ><div id=\"panel-12823-0-1-0\" class=\"so-panel widget widget_black-studio-tinymce widget_black_studio_tinymce panel-first-child\" data-index=\"2\" ><div class=\"textwidget\"><h3 class=\"topic\"><b>Ort \/ Venue:<\/b><\/h3>\n<p><a href=\"https:\/\/osm.org\/go\/0MZiOIwGm?m=&way=23133703\" target=\"_blank\">H\u00f6rsaal 3<\/a>  (HS3)<br \/>\nCampus I, Hasso-Plattner-Instituts<\/p>\n<h3 class=\"topic\"><b>Termine \/ Dates:<\/b><\/h3>\n<dl>\n<dd>\n<table cellpadding=\"2px\">\n<tbody>\n<tr>\n<td style=\"vertical-align: top;\">14.02.2025<\/td>\n<td><a href=\"https:\/\/forms.gle\/7kJbh54NNgGcMvSm6\" target=\"_blank\">Meldung von Beitr\u00e4gen<\/a><br \/>\n<span style=\"color: #999999;\">Submission<\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: top;\"><strong>28.02.2025<\/strong><\/td>\n<td><a href=\"https:\/\/forms.gle\/niXnThxfk7RKuqrL7\" target=\"_blank\">Anmeldung zum Treffen<\/a><br \/>\n<span style=\"color: #999999;\">Registration<\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: top;\"><strong>13.\/14.03.2025<\/strong><\/td>\n<td><strong>Fr\u00fchjahrstreffen<br \/>\n<\/strong><span style=\"color: #999999;\">Spring Meeting<\/span><strong><br \/>\n<\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/dd>\n<\/dl>\n<h3><b>Verweise \/ Links:<\/b><\/h3>\n<ul>\n<li><strong><a href=\"https:\/\/forms.gle\/niXnThxfk7RKuqrL7\" target=\"_blank\">Anmeldung<\/a><\/strong><br \/>\n<span style=\"color: #999999;\">Registration<\/span><\/li>\n<li><strong><a href=\"https:\/\/forms.gle\/7kJbh54NNgGcMvSm6\" target=\"_blank\">Einreichung<\/a><\/strong><br \/>\n<span style=\"color: #999999;\">Submission<\/span><\/li>\n<li><strong><a href=\"anreise\/\">Anreise und Hotels<\/a><\/strong><br \/>\n<span style=\"color: #999999;\">Travel and Accommodation<\/span><\/li>\n<li><strong>Programm (tba)<\/strong><br \/>\n<span style=\"color: #999999;\">Program<\/span><\/li>\n<li><a href=\"\/informationen-fuer-die-autoren\/\"><strong>Information f\u00fcr Autoren<\/strong><\/a><br \/>\n<span style=\"color: #999999;\">Authors's Information<\/span><\/li>\n<li><a href=\"\/informationen-fuer-die-vortragenden\/\"><strong>Information f\u00fcr Vortragende<\/strong><\/a><br \/>\n<span style=\"color: #999999;\">Presenters's Information<\/span><\/li>\n<li><a href=\"mailto:treffen@betriebssysteme.org\"><strong>Kontakt<\/strong><\/a><br \/>\n<span style=\"color: #999999;\">Contact<\/span><\/li>\n<\/ul>\n<\/div><\/div><div id=\"panel-12823-0-1-1\" class=\"so-panel widget widget_media_image panel-last-child\" data-index=\"3\" ><img decoding=\"async\" src=\"https:\/\/www.betriebssysteme.org\/wp-content\/uploads\/2025\/01\/Hasso-Plattner-Institut_logo.svg\" class=\"image wp-image-12844  attachment-full size-full\" alt=\"\" style=\"max-width: 100%; height: auto;\" \/><\/div><\/div><\/div><\/div>","protected":false},"excerpt":{"rendered":"<p>Das Fr\u00fchjahrstreffen der GI-Fachgruppe &#8222;Betriebssysteme&#8220; (FGBS) findet am Donnerstag, 13. und Freitag, 14. M\u00e4rz 2025 in Potsdam statt. Gastgeber ist Prof. Andreas Polze (HPI). Verl\u00e4ssliche, Verteilte und Eingebettete Systeme Verteilte und eingebettete Systeme sind heute ein selbstverst\u00e4ndlicher Teil unseres Alltags. Sie steuern unsere Fahrzeuge, verbinden uns \u00fcber Kommunikationsnetze und gew\u00e4hrleisten die Zuverl\u00e4ssigkeit kritischer Infrastrukturen wie [&hellip;]<\/p>\n","protected":false},"author":22,"featured_media":0,"parent":8,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-12823","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/12823","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\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/comments?post=12823"}],"version-history":[{"count":22,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/12823\/revisions"}],"predecessor-version":[{"id":12836,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/12823\/revisions\/12836"}],"up":[{"embeddable":true,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/8"}],"wp:attachment":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/media?parent=12823"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}