GI Operating-Systems + Fault Tolerance Meeting

Horst Schirmeier <[email protected]> Thu, 26 Jan 2023 15:39:12 +0100
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
Hello microkernel hackers from Dresden and afar,

the German Society of Informatics (GI) has a Special Interest Group on 
Operating Systems ("Fachgruppe Betriebssysteme" [1]), with members from 
both academia and industry.  This group meets twice a year to network 
and to discuss their current work.  The upcoming spring meeting, 
organized together with GI's fault-tolerance SIG ("Fachgruppe 
Fehlertolerierende Rechensysteme" [2]) will be hosted by TU Dresden on 
March 06+07 (noon to noon).  Please consider attending and/or submitting 
a talk (details below and on the following website):

   https://www.betriebssysteme.org/aktivitaeten/treffen/2023-dresden/

Best regards,
Horst Schirmeier

[1] https://betriebssysteme.org
[2] https://fg-fers.gi.de/


=== Topic: "Operating Systems and Dependable Systems" ===

Dependability – the totality of safety, security, availability, 
reliability, and maintainability – is a fundamental attribute of 
safety-critical hardware and software systems. In the automotive 
industry, for example, current trends in autonomous driving present 
entirely new challenges in marrying fault tolerance and maximum 
performance while keeping costs low. The answers to these research 
questions ultimately call for a comprehensive investigation of the 
interactions between applications, system software, and hardware.

In this spirit, the joint spring meeting of the GI's "Operating Systems" 
(FGBS) and "Fault-Tolerant Computing Systems" (FERS) special interest 
groups will be focusing on novel approaches to the analysis, design, and 
evaluation of dependable systems and on the exchange of ideas between 
the two communities. Areas of interest for submissions include, but are 
not limited to:

  -  Fault tolerance mechanisms at all layers of the system
  -  Dependability and real-time
  -  Isolation and integration mechanisms in software
  -  Test, analysis, evaluation, and verification
  -  Robust system architectures and HW/SW co-design
  -  Practical and field reports on safety-critical systems and their 
applications
  -  Models, development processes, and standards

Contributions outside the main focus of the event are most welcome as well.

Please submit either a one-page abstract (presentation only) or a 2- to 
4-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-4 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 in the future. The event will also be 
organized in a hybrid format.

-- 
Prof. Dr.-Ing. Horst Schirmeier
Professur für Betriebssysteme

Technische Universität Dresden
Fakultät Informatik
01062 Dresden
Tel.: +49 (351) 463-38321
office: Andreas-Pfitzmann-Bau, R.3102
Nöthnitzer Str. 46, 01187 Dresden
(Campus-Navigator: https://tud.link/seh0)
https://tud.de/inf/os

_______________________________________________
l4-hackers mailing list
[email protected]
https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
smime.p7s (application/pkcs7-signature, 5.6 KB) - not displayed