Reliability assessment for distributed systems via communication abstraction and refinement.
Lin GuiJun SunYang LiuJin Song DongPublished in: ISSTA (2015)
Keyphrases
- distributed systems
- reliability assessment
- software development environments
- fault tolerant
- distributed environment
- bp neural network model
- load balancing
- distributed computing
- power system
- fault tolerance
- message passing
- geographically distributed
- mobile agents
- distributed database systems
- replicated data
- communication protocol
- machine learning
- real time systems
- resource constrained
- information exchange
- data replication
- data availability
- agent based systems
- communication networks
- concurrent systems
- data access
- deadlock detection
- operating system
- neural network