Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages.
Andrea HöllerNermin KajtazovicChristopher PreschernChristian KreinerPublished in: SERENE (2014)
Keyphrases
- fault tolerance
- distributed systems
- fault tolerant
- fault management
- knowledge based systems
- single point of failure
- load balancing
- cooperative
- formal methods
- expert systems
- data analysis
- embedded systems
- distributed computing
- high availability
- response time
- end to end
- distributed database systems
- metadata
- database replication
- data sets