Das Frühjahrstreffen der GI-Fachgruppe "Betriebssysteme" (FGBS) findet am
Donnerstag, 13. und Freitag, 14. März 2025
in Potsdam statt.
Gastgeber ist Prof. Andreas Polze (HPI).
Verlässliche, Verteile und Eingebettete Systeme
Verteilte und eingebettete Systeme sind heute ein selbstverständlicher Teil unseres Alltags. Sie steuern unsere Fahrzeuge, verbinden uns über Kommunikationsnetze und gewährleisten die Zuverlässigkeit kritischer Infrastrukturen wie Energieversorgung oder medizinische Geräte. Damit diese Systeme auch unter anspruchsvollen Bedingungen sicher, effizient und zuverlässig funktionieren, sind innovative Ansätze erforderlich – von global skalierenden Cloud- und Edge-Systemen über IoT-Middleware bis hin zu spezialisierten eingebetteten Plattformen.
Das Frühjahrstreffen der Fachgruppe Betriebssysteme legt den Fokus auf Fragestellungen, die Verbesserung verteilter und eingebetteter Systeme beitragen. Dazu zählen insbesondere:
- Fehlertoleranz und Zuverlässigkeit: Mechanismen zur Fehlererkennung, Wiederherstellung und Resilienz in verteilten und eingebetteten Architekturen.
- Echtzeitfähigkeit und Ressourcenmanagement: Garantien für Timings und effiziente Ressourcennutzung in zeitkritischen eingebetteten und verteilten Anwendungen.
- Sicherheitsaspekte: Schutz vor Angriffen und Ausfällen in Systemen mit hohen Sicherheitsanforderungen, einschließlich Mechanismen für Datenintegrität und Zugriffskontrolle.
- Kommunikation und Synchronisation: Protokolle und Techniken zur effizienten und konsistenten Zusammenarbeit von Komponenten in verteilten und eingebetteten Umgebungen.
- Betriebssystemunterstützung: Entwicklung und Optimierung von Betriebssystemen und Middleware für eingebettete und verteilte Plattformen.
- Formale Methoden und Verifikation: Werkzeuge und Ansätze zur Analyse und Verifizierung von Zuverlässigkeits- und Sicherheitsanforderungen.
- Praxisnahe Anwendungen und Evaluierung: Erfahrungen und Herausforderungen bei der Implementierung und Optimierung realer verteilter und eingebetteter Systeme.
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. Über 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ür Informatik publiziert.
Wir heißen ausdrücklich Vorträge in englischer Sprache willkommen. Um nicht-deutschsprachigen Mitglieder die Teilnahme an der Veranstaltung zu erleichtern, wird die Vortragssprache im Programm kenntlich gemacht.
Andreas Polze (HPI) und Peter Ulbrich (Sprecher)
The Spring Meeting of the GI Special Interest Group "Operating Systems" (FGBS) will take place on
Thursday, 13th and Friday, 14th March 2025
in Potsdam.
Your host is Prof. Prof. Andreas Polze (HPI).
Reliable, Distributed, and Embedded Systems.
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.
The meeting will focus on questions related to enhancing the reliability of distributed and embedded systems. Key topics include:
- Fault tolerance and reliability: Mechanisms for fault detection, recovery, and resilience in distributed and embedded architectures.
- Real-time capabilities and resource management: Guarantees for timing and efficient resource usage in time-critical embedded and distributed applications.
- Security aspects: Protection against attacks and failures in systems with high security requirements, including mechanisms for data integrity and access control.
- Communication and synchronization: Protocols and techniques for efficient and consistent collaboration between components in distributed and embedded environments.
- Operating system support: Development and optimization of operating systems and middleware for embedded and distributed platforms.
- Formal methods and verification: Tools and approaches for analyzing and verifying reliability and security requirements.
- Practical applications and evaluation: Experiences and challenges in implementing and optimizing real-world distributed and embedded systems.
Topics from adjacent areas of system software and operating systems are, as always, also welcome.
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ür Informatik.
We explicitly welcome presentations in English. The talks' language will be indicated in the program to facilitate non-German members' participation in our workshops.
Andreas Polze (HPI) and Peter Ulbrich (Speaker)
Termine / Dates:
-
14.02.2025 Meldung von Beiträgen
Submission28.02.2025 Anmeldung zum Treffen
Registration13./14.03.2025 Frühjahrstreffen
Spring Meeting
Verweise / Links:
- Anmeldung (tba)
Registration - Einreichung (tba)
Submission - Programm (tba)
Program - Information für Autoren
Authors's Information - Information für Vortragende
Presenters's Information - Kontakt
Contact