FAU UnivIS
Techn. Fak. Dep. Informatik
Dept. of CS > CS 4 > Research > REFIT
People, Research, Pubs
Lehre, Examensarbeiten

REFIT: Resource-Efficient Fault and Intrusion Tolerance

Internet-based services play a central role in today's society. With such services progressively taking over from traditional infrastructures, their complexity steadily increases. On the downside, this leads to more and more faults occurring. As improving software-engineering techniques alone will not do the job, systems have to be prepared to tolerate faults and intrusions.

REFIT investigates how systems can provide fault and intrusion tolerance in a resource-efficient manner. The key technology to achieve this goal is virtualization, as it enables multiple service instances to run in isolation on the same physical host. Server consolidation through virtualization not only saves resources in comparison to traditional replication, but also opens up new possibilities to apply optimizations (e.g., deterministic multi-threading).

Resource efficiency and performance of the REFIT prototype are evaluated using a web-based multi-tier architecture, and the results are compared to non-replicated and traditionally-replicated scenarios. Furthermore, REFIT develops an infrastructure that supports the practical integration and operation of fault and intrusion-tolerant services; for example, in the context of cloud computing.

News

Publications

EDCC 2016

Bijun Li, Wenbo Xu, Muhammad Zeeshan Abid, Tobias Distler, and Rüdiger Kapitza. SAREK: Optimistic Parallel Ordering in Byzantine Fault Tolerance. In Proceedings of the 12th European Dependable Computing Conference (EDCC '16), Gothenburg, 5–9 September 2016, to appear. (BibTeX)

IEEE TC 2015

Tobias Distler, Christian Cachin, and Rüdiger Kapitza. Resource-efficient Byzantine Fault Tolerance. In IEEE Transactions on Computers, 2015. (BibTeX)

Middleware 2015

Johannes Behl, Tobias Distler, and Rüdiger Kapitza. Consensus-Oriented Parallelization: How to Earn Your First Million. In Proceedings of the 16th Middleware Conference (Middleware '15), pages 173–184, Vancouver, 7–11 December 2015. (BibTeX)

ARM 2015

Christopher Eibel and Tobias Distler. Towards Energy-Proportional State-Machine Replication. In Proceedings of the 14th Workshop on Adaptive and Reflective Middleware (ARM '15), pages 19–24, Vancouver, 8 December 2015. (BibTeX)

HotDep 2014

Johannes Behl, Tobias Distler, and Rüdiger Kapitza. Scalable BFT for Multi-Cores: Actor-based Decomposition and Consensus-oriented Parallelization. In Proceedings of the 10th Workshop on Hot Topics in System Dependability (HotDep '14), pages 49–54, Broomfield, 5 October 2014. (BibTeX)

Dissertation

Tobias Distler. Resource-efficient Fault and Intrusion Tolerance. Dissertation, 2014. (BibTeX)

EuroSys 2012

Rüdiger Kapitza, Johannes Behl, Christian Cachin, Tobias Distler, Simon Kuhnle, Seyed Vahid Mohammadi, Wolfgang Schröder-Preikschat, and Klaus Stengel. CheapBFT: Resource-efficient Byzantine Fault Tolerance. In Proceedings of the 7th European Conference on Computer Systems (EuroSys '12), pages 295–308, Bern, 10–13 April 2012. (BibTeX)

EuroSys 2011

Tobias Distler and Rüdiger Kapitza. Increasing Performance in Byzantine Fault-Tolerant Systems with On-Demand Replica Consistency. In Proceedings of the 6th European Conference on Computer Systems (EuroSys '11), pages 91–105, Salzburg, 10–13 April 2011. (BibTeX)

NDSS 2011

Tobias Distler, Rüdiger Kapitza, Ivan Popov, Hans P. Reiser, and Wolfgang Schröder-Preikschat. SPARE: Replicas on Hold. In Proceedings of the 18th Network and Distributed System Security Symposium (NDSS '11), pages 407–420, San Diego, 6–9 February 2011. (BibTeX)

SICHERHEIT 2010

Tobias Distler, Rüdiger Kapitza, and Hans P. Reiser. State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services. In Proceedings of the 5th "Sicherheit, Schutz und Zuverlässigkeit" Conference (SICHERHEIT '10), pages 61–72, Berlin, 5–7 October 2010. (BibTeX)

HotDep 2010

Rüdiger Kapitza, Matthias Schunter, Christian Cachin, Klaus Stengel, and Tobias Distler. Storyboard: Optimistic Deterministic Multithreading. In Proceedings of the 6th Workshop on Hot Topics in System Dependability (HotDep '10), pages 1–6, Vancouver, 3 October 2010. (BibTeX)

Theses

A survey on virtualization aided fault-tolerance
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Rüdiger Kapitza


Determinierte parallele Ausführung von mehrfädigen Programmen in Virtuellen Maschinen
Supervisors: Prof. Dr.-Ing. Rüdiger Kapitza, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Deterministische Replikation mehrfädiger Netzwerkdienste auf Basis von Verhaltensvorhersagen
Supervisors: Prof. Dr.-Ing. Rüdiger Kapitza, Dipl.-Inf. Klaus Stengel, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Entwicklung einer gehärteten Betriebsunterstützung für VM-FIT
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Rüdiger Kapitza


Entwicklung und Evaluation eines erweiterbaren Koordinierungsdienstes zur adaptiven Konfiguration von Cloud-Infrastrukturen
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Tobias Distler


Entwicklung und Evaluierung eines ressourceneffizienten Fehlertoleranzprotokolls mit rotierendem Anführer
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Tobias Distler, Dipl.-Inf. Johannes Behl


Entwurf und Implementierung einer sicheren Nachrichtensignatur für verteilte Systeme
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dipl.-Inf. Michael Gernoth, Prof. Dr.-Ing. Rüdiger Kapitza


Implementierung und Evaluierung zuverlässiger Referenzen für replizierte Dienste (RSIOR)
Supervisors: Prof. Dr.-Ing. Rüdiger Kapitza, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Spare: Ressourcen-effiziente Fehler- und Einbruchstoleranz
Supervisors: Prof. Dr.-Ing. Rüdiger Kapitza, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Transformation von Workflows zur deterministischen Ausführung am Beispiel BPEL
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Tobias Distler

Project Partners

People Involved in REFIT at Erlangen

Dr.-Ing. Tobias Distler Prof. Dr.-Ing. Wolfgang Schröder-Preikschat Dipl.-Inf. Klaus Stengel

Related Projects

VM-FIT Virtual Machine-based Fault and Intrusion Tolerance
TClouds Trustworthy Clouds – Privacy and Resilience for Internet-scale Critical Infrastructure
FOREVER Fault/intrusiOn REmoVal through Evolution & Recovery

Supporters

REFIT is partly supported by the German Research Foundation (DFG) under grant no. DI 2097/1-2.