Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.
S. AyacheEric ConquetPhilippe HumbertCarlos RodriguezJoseph SifakisR. GerlichPublished in: FTCS (1996)
Keyphrases
- fault tolerance
- formal methods
- fault tolerant
- earth observing
- response time
- distributed systems
- model checking
- load balancing
- knowledge based systems
- formal specification
- peer to peer
- artificial intelligence
- software engineering
- distributed computing
- replicated databases
- mobile agents
- group communication
- cooperative
- database replication
- failure recovery
- formal specification language
- data sets
- development lifecycle
- fault management
- error detection
- multi agent
- expert systems
- multimedia
- single point of failure
- modeling language
- data model