Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems.
Diego Del GobboAli MiliPublished in: RE (2001)
Keyphrases
- fault tolerant
- fault tolerance
- control system
- distributed systems
- high availability
- distributed computing
- group communication
- safety critical
- database replication
- load balancing
- high performance computing
- control law
- state machine
- error detection
- replicated databases
- data sets
- peer to peer
- response time
- single point of failure
- high assurance