Systemsoftware und Verteilte Systeme

Forschung

Forschungsausrichtung

  • Zuverlässige Rechnersysteme
  • Fehlertoleranz in Rechensystemen
  • Hochverfügbarkeit, insbesondere von Diensten in verteilten Systemen
  • Replikation von Daten und Diensten
  • Selbststabilisierende (verteilte) Algorithmen
  • Regionentreue (verteilte) Algorithmen
  • Systemsoftware für mobile Rechensysteme
  • Dynamik in verteilten Systemen
  • Verteilte Basisalgorithmen, insbesondere Aspekte der Skalierbarkeit,
    Selbstorganisation,  sanften Systemreduktion sowie Energieeffizienz
  • Konsistenzbegriffe für verteilte Objekte, Objektgruppen und Transaktionen
  • (Drahtlose) Sensornetzwerke
  • Sensorik, u.a. für Umweltphänomene

Projekte

  • Systemsoftware und verteilte Systeme (seit 2002)
    • Real-World Data Replication (laufend)
    • Impact of Fault Models on Realizability and Costs of Region-Adherent Self-Stabilizing Distributed Algorithms (laufend)
    • Identification of Application-optimized Data Replication Schemes (laufend)
    • Design and Analysis of Highly Available Region-Adherent Distributed Algorithms in Faulty Environments (laufend)
    • Semantic Replication (laufend)
    • Quality of Service Optimization Techniques for Wireless Sensor Networks (laufend)
    • Automatik Stability Verification via Lyapunov Funktions (laufend)
    • Recurrence in Self-Stabilization - Theory, Verification, and Application (2016)
    • Enabling Energy-Efficient Wireless Sensing with Improved Service Quality (2016)
    • A Compositional Framework for Designing Self-Stabilizing Distributed Algorithms (2013)
    • Unmasking Fault Tolerance: Quantifying Deterministic Recovery Dynamics in Probabilistic Environments (2013)
    • Probabilistic Quorum Systems for Dependable Data Management (2012)
    • Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-based Data Replication Schemes (2011)
    • Decomposition of Stability Proofs for Hybrid Systems (2011)
    • Structural Failure Models for Fault-Tolerant Distributed Computing (2009)
  • DFG-Graduiertenkolleg SCARE (2012 bis 2021)
  • DFG-Sonderforschungsbereich AVACS (2004 bis 2016)
  • DFG-Graduiertenkolleg TrustSoft (2005 bis 2008)
  • ExploIT Dynamics
  • Target II