- TextdokumentSystems Support For Efficient State-Machine Replication(Tagungsband des FB-SYS Herbsttreffens 2019, 2019) Habiger, Gerhard; Hauck, Franz J.State-Machine Replication (SMR) is a well known approach for the deployment of highly fault-tolerant services. Recent research has focused on efficiency improvements, performance optimisation and novel approaches to underlying concepts of SMR, such as consensus with trusted components, dynamic weights for quorums, or parallelisation of application code. To increase adoption of SMR as a basic fault-tolerance technique, we see the need to improve the current state of the art of SMR even further, and provide four specific ways in which our research contributes to this goal. In particular, we present two approaches which make the development and deployment of SMR services both easier and more efficient, and talk about two further areas of improvement concerning internal mechanisms of common SMR architectures. The goal of this paper is to provide our current understanding of important issues of current SMR systems as well as to outline possible future solutions to them.
- TextdokumentIn Microservices We Trust — Do Microservices Solve Resilience Challenges?(Tagungsband des FB-SYS Herbsttreffens 2019, 2019) Hilbrich, MarcusResilience is an open challenge. In this paper we look into microservices – a concept that argues to be resilient. We look into the definition of microservices and argue whether the definition provides the promised advantages regarding to resilience.
- TextdokumentTowards a Robust, Self-Organizing IoT Platform for Secure and Dependable Service Execution(Tagungsband des FB-SYS Herbsttreffens 2019, 2019) Eichhammer, Philipp; Berger, Christian; Reiser, Hans P.; Domaschka, Jörg; Hauck, Franz J.; Habiger, Gerhard; Griesinger, Frank; Pietron, JakobIn the IoT, resilience capabilities increasingly gain traction for applications, as IoT systems tend to play a bigger role for both the proper functioning of our society and the survivability of companies. However, hardening IoT service execution against a variety of possible faults and attacks becomes increasingly difficult as the complexity, size and heterogeneity of IoT infrastructures tend to grow further and further. Moreover, many existing solutions only regard either specific faults or security issues instead of following a unifying approach. In this position paper, we present our research project called SORRIR, which essentially is an approach to develop a self-organizing IoT platform for dependable and secure service execution. One of our main ambitions is to support developers by separating application development (app logic) from resilience properties, so that developers can configure a desired resilience degree without proper knowledge of underlying technical, implementation-level details of employed resilience mechanisms. Further, we consider security requirements and properties as an integral component of our platform.
- TextdokumentEfficient Checkpointing in Byzantine Fault-Tolerant Systems(Tagungsband des FB-SYS Herbsttreffens 2019, 2019) Eischer, Michael; Distler, TobiasDistributed Byzantine fault-tolerant systems require frequent checkpoints of the application state to perform periodic garbage collection and enable faulty replicas to recover efficiently. State-of-the-art checkpointing approaches for replicated systems either cause significant service disruption when the application state is large, or they are unable to produce checkpoints that are verifiable across replicas. To address these problems we developed and evaluated deterministic fuzzy checkpointing, a technique to create consistent and verifiable checkpoints in parallel with request execution.