Region-specific algorithms
Region-specific algorithms
Background
The task is to find a region-faithful algorithm and to evaluate it in terms of fault tolerance - in particular its region fidelity. The following objectives are to be fulfilled:
- Research the state of the art of fault-tolerant systems, in particular
- Graceful degradation
- Self-stabilising algorithms
- Finding a suitable execution model
- Definition of a fault model suitable for region fidelity
- Establishing a (general) definition of region fidelity
- Exemplary, possibly systematic, design of a region-faithful algorithm.
- Set up a quality function suitable for the selected use case
- Investigation of the example algorithm, in particular
- Formal proof of region fidelity
- Implementation and simulation of the algorithm