Abstract | ||
---|---|---|
For distributed system services implemented on a cloud, system verification assumes added importance because of third-party control of cloud resources and the attendant problems of faults, QoS degradations, and security violations. Our paper focuses on a \"model-based assessment\" to reason about the non-functional properties of a cloud-based distributed system using observational agents. Our approach is corroborated by measurements on system-level prototypes and simulation analysis of system models in the face of hostile environment conditions. A case study of CDN realized on cloud infrastructures is also described. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1145/2593501.2593508 | AST |
Keywords | Field | DocType |
heuristics for scenario generation,system testing & certification,model-aided system simula tion,probabilistic system guarantees,service-level compliance checks,network architecture and design | Cloud resources,Non functional,Software engineering,Computer science,Quality of service,Real-time computing,Distributed computing,System verification,Cloud computing | Conference |
Citations | PageRank | References |
1 | 0.34 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kaliappa Ravindran | 1 | 165 | 25.31 |
Arun Adiththan | 2 | 13 | 8.26 |