AG Technische Informatik

Dependable Systems

Welcome at the Dependable Systems Group

We work on the measurement, modelling and evaluation of dependable systems. Particular focus areas are service-oriented architectures and Cloud Computing, wireless networks, and mobile telephony. We employ measurement techniques as well as discrete-event simulation and abstract stochastic modelling formalisms.

 

Ongoing work is coordinated through our Wiki page.

Members

Associate Members

Former Members

  • Alexandra Danilkina
  • Andreas Dittrich
  • Patrick Kutter
  • Kawa H. Mahmoud
  • Tilman Krauss
  • Michael Bode
  • Matthias Dräger
  • Sonja Pins

Tools

 

Library for phase-type distributed random variates


 

Projects

Restart in Service-Oriented Architectures

SOA-Restart-Logo (Network, client, and servers)In this project we study the application of the restart method to systems with service-oriented architecture (SOA). We consider services composed from several independent services, where all access to a service happens over the public Internet and service-internals are hidden from the user. In this scenario, service response-times and service-availability suffer from faults and failures both in the Internet and on the machines hosting the services. The client applies restart, i.e. resubmits service-invokations that do not finish in time, in order to reduce service response times and improve service-availability. We develop a test-bed for multi-level fault-injection in SOA systems and derive stochastic fault-models from measurements. We also quantify the adaptivity of restart algorithms, that is, their ability to adapt to system and network conditions.

  • Time: 2007 -- 2012
  • People involved: Katinka Wolter, Philipp Reinecke, Alexandra Danilkina, Matthias Dräger, Sonja Pins
  • Theses: Sebastian Wittkowski, Ferndanda Delbello, Matthias Dräger
  • Funding: DFG

Distributed Restart

Distributed-Restart-Logo (Network, clients, and server)In this DFG-funded project we investigate the use and impact of the restart method in distributed environments. In these environments several independent clients contend for the same resource (e.g. a Web Server). Clients may or may not employ restart, i.e. repeat their requests, restart strategies may differ, and the number of clients may potentially be huge. Clients do not communicate directly, thus interacting only through access to the same shared resource. A major question in this scenario is the fairness of restart algorithms, i.e. whether clients will attain a steady state where no client suffers starvation and where the server is not overloaded. Through analysis of stochastic models we aim to confirm the fairness property of the restart algorithm by investigating the timing behaviour of a simulated network in which several clients employ restart. In this project we cooperate with Prof. Leila Kloul from PRISM (France).

  • Time: 2009 -- 2013
  • People involved: Katinka Wolter, Philipp Reinecke, Alexandra Danilkina, Claudia Ernst
  • Theses: Alexandra Danilkina
  • Partners: Prof. Leila Kloul (PRISM)
  • Funding: DFG, Exzellenzinitiative (CIC der FU Berlin)

High-Resolution Clock Synchronisation over Packet-Switched Networks

PTP-Logo (Network and clocks)Packet-switched networks pose new challenges for clock synchronisation in cellular telephony infrastructure. Clock synchronisation requires strict bounds on the packet-delay variation (PDV) of the synchronisation stream. Packet-switching introduces complex timing behaviour, thereby affecting synchronisation accuracy. In fact, in some packet-switched networks clock synchronisation may be impossible. In cooperation with highstreet technologieswe analyse the timing behaviour of complex packet-switched networks through detailed simulation using the network simulator ns-2. We provide guidelines for suitable network setups and work on improving synchronisation protocols.

  • Time: 2008 -- 2012
  • People involved: Katinka Wolter, Philipp Reinecke, Sonja Pins
  • Partners: Alfons Mittermaier (highstreet technologies)
  • Funding: highstreet technologies

Efficient Fault-Models for System Evaluation

PH-Logo (Histogram, density, and CTMCSystem evaluation through experimentation in test-beds, simulation, and analysis requires fault-models that capture faults well and enable efficient reproduction of faults. In cooperation with Prof. Miklos Telek and Prof. Gabor Horvath of the Technical University of Budapest we develop techniques for efficent and accurate stochastic fault-models. In particular, we focus on random-number generation from Phase-type and Matrix-Exponential distributions. Our results increase simulation speed and help to avoid artifacts in fault-injection experiments.

  • Time: 2010 -- present
  • People involved: Katinka Wolter, Philipp Reinecke, Alexandra Danilkina
  • Partners: Prof. Miklos Telek (BME), Prof. Gabor Horvath (BME)
  • Funding: DFG

QoS in IEEE 802.11e Wireless Networks (finished)

WLAN-Logo (Network, clients, and management infrastructure)In this project we study Quality of Service in IEEE 802.11e Wireless LANS. We develop methods for enhancing QoS, using e.g. priority manipulations, and integrate them into a model-driven QoS management framework.

  • Time: 2003 -- 2009
  • People involved: Katinka Wolter, Burak Simsek, Johannes Zapotoczky, Robert Hilbrich, Stefan Rauch, Philipp Reinecke, Johannes Semmler, Konstanze Swist
  • Theses: Johannes Semmler, Johannes Zapotoczky
  • Funding: DFG

Funding Agencies and Project Partners

DFG|highstreet technologies|BME|PRiSM|CIC FU Berlin


Bachelor/Master/Diploma Thesis Topics

If you are interested in doing your thesis with us, you may come to our Monday meetings (2:15pm room 137).

We offer a variety of topics for Bachelor, Master, and Diploma theses, e.g.

  • Various aspects of mobile offloading:  implementation of applications or algorithms in the existing framework, experimentation, evaluation of experiments
  • Experimentation with gossiping algorithms
  • A Measurement Study on Cloud Computing
  • Setting up a Queueing-Model for Web Transactions
  • Implementation of a General Phase-Type Fitting Tool
  • Implementation of solution algorithms for Gnetworks

 

Your thesis should be written using LaTeX type-setting (latex-template). You should present your work at least twice at a Wednesday meeting and pre-submit your thesis for proof-reading 2-3 weeks before your deadline - or earlier.


Open Positions

If you are interested in working on dependable systems, do not hesitate to contact us.