A Formal Architecture Pattern for Real-Time Distributed Systems.
Abdullah Al-NayeemMu SunXiaokang QiuLui ShaSteven P. MillerDarren D. CoferPublished in: RTSS (2009)
Keyphrases
- distributed systems
- real time
- real time systems
- software architecture
- loosely coupled
- fault tolerant
- distributed environment
- load balancing
- geographically distributed
- fault tolerance
- formal model
- message passing
- distributed database systems
- distributed computing
- operating system
- control system
- concurrent systems
- associative memory
- management system
- deadlock detection
- agent technology
- mobile agents
- data replication
- replicated data