A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework.
Heng KuangOlga OrmandjievaStan KlasaJamal BentaharPublished in: ASAP (2010)
Keyphrases
- fault tolerance
- formal specification
- distributed systems
- fault tolerant
- load balancing
- fault management
- formal methods
- distributed computing
- single point of failure
- knowledge based systems
- specification language
- object oriented design
- database
- intelligent systems
- expert systems
- specification languages
- databases
- peer to peer
- group communication
- process algebra