Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex.
Gilles LasnierThomas RobertLaurent PautetFabrice KordonPublished in: NOTERE (2010)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- load balancing
- distributed environment
- geographically distributed
- message passing
- mobile agents
- distributed computing
- high availability
- operating system
- state machine
- artificial intelligence
- interconnection networks
- data replication
- real time systems
- modular robots
- security policies
- mobile agent system
- distributed database systems
- agent based systems
- deadlock detection
- safety critical
- loosely coupled
- database systems