Prof. Dr. Frank Bellosa
Lukas Werling

Zusammenfassung
Das Nachbauen von Evaluationsumgebungen, um z.B. Ergebnisse aus Benchmarks zu reproduzieren ist häufig nicht-trivial aufgrund der gestellten Anforderungen: etwa spezische Software, ein angepasster Kernel oder auch besondere Hardware, häufig mit bestimmter Konguration. Diese Schritte werden in langen Shellskripten oder Dokumentation abgebildet und der Nachbau ist dadurch häufig fehleranfällig.
Ich schlage in dieser Arbeit eine Architektur für die Zustandsverwaltung von Systemen vor und habe darauf aufbauend Smash implementiert, ein Framework für Zustandsverwaltung von NixOS, einer Linuxdistribution mit
Fokus auf deklaratives System- und Kongurationsmanagement.
Damit demonstriere ich, wie o.g. Anwendungsfälle das Paketieren der benötigten Software, Verikation der Anforderung & Aufbereitung der Konfiguration mit NixOS einfacher zu erfüllen sind.
Das Ergebnis sind sicherere Anwendungsdeployments mit NixOS und wesentlich einfacher aufzusetzende Evaluationsumgebungen, sodass der Fokus bei Artefaktevaluationen weniger auf der Verwaltung der Umgebung und stärker auf der Überprüfung des Inhaltes liegen kann.

@bachelorthesis{bosch25NixOS,
  author = {Maximilian Bosch},
  title = {Reproduzierbare Evaluationsumgebungen mit NixOS},
  type = {Bachelor Thesis},
  year = 2025,
  month = may# "23",
  school = {Operating Systems Group, Karlsruhe Institute of Technology (KIT), Germany}
  }