Dependable horizontal scaling based on probabilistic model checking

Proceedings - 2015 IEEE/ACM 15th International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2015

Volumn , Issue , 2015, Pages 31-40

  Naskos, Athanasios ^a   Stachtiari, Emmanouela ^a   Gounaris, Anastasios ^a   Katsaros, Panagiotis ^a   Tsoumakos, Dimitrios ^c   Konstantinou, Ioannis ^b   Sioutas, Spyros ^c  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

^b NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^c IONIAN UNIVERSITY   (Greece)

Author keywords

Autonomic computing; Cloud elasticity; NoSQL databases; PRISM; Quantitative verification

Indexed keywords

CLUSTER COMPUTING; ELASTICITY; GRID COMPUTING; MARKOV PROCESSES; PRISMS;

AUTONOMIC COMPUTING; CLOUD ELASTICITIES; HORIZONTAL SCALING; MARKOV DECISION PROCESSES; NOSQL DATABASE; ON-DEMAND RESOURCE PROVISIONING; PROBABILISTIC MODEL CHECKING; QUANTITATIVE VERIFICATION;

MODEL CHECKING;

EID: 84941241984     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCGrid.2015.91     Document Type: Conference Paper

References (25)

1. N. R. Herbst, S. Kounev, and R. Reussner, "Elasticity in cloud computing: What it is, and what it is not," in Proc. of ICAC'13, 2013, pp. 23-27.
2. D. Tsoumakos, I. Konstantinou, C. Boumpouka, S. Sioutas, and N. Koziris, "Automated, elastic resource provisioning for nosql clusters using tiramola," in CCGrid'13, 2013, pp. 34-41.
3. A. Gandhi, M. Harchol-Balter, R. Raghunathan, and M. A. Kozuch, "Autoscale: Dynamic, robust capacity management for multi-tier data centers," ACM Transactions on Computer Systems (TOCS), vol. 30, no. 4, p. 14, 2012.
4. Z. Shen, S. Subbiah, X. Gu, and J. Wilkes, "Cloudscale: Elastic resource scaling for multi-tenant cloud systems," in SOCC, 2011, pp. 5:1-5:14.
5. Z. Gong, X. Gu, and J. Wilkes, "Press: Predictive elastic resource scaling for cloud systems," in CNSM, 2010, pp. 9-16.
6. B. Trushkowsky, P. Bodk, A. Fox, M. J. Franklin, M. I. Jordan, and D. A. Patterson, "The SCADS director: Scaling a distributed storage system under stringent performance requirements. " in FAST, 2011, pp. 163-176.
7. J. O. Kephart and D. M. Chess, "The vision of autonomic computing. " IEEE Computer, vol. 36, no. 1, pp. 41-50, 2003.
8. R. Calinescu, C. Ghezzi, M. Z. Kwiatkowska, and R. Mirandola, "Self-adaptive software needs quantitative verification at runtime," Commun. ACM, vol. 55, no. 9, pp. 69-77, 2012.
9. V. Forejt, M. Kwiatkowska, G. Norman, and D. Parker, "Automated verification techniques for probabilistic systems," in Formal Methods for Eternal Networked Software Systems (SFM'11), 2011, pp. 53-113.
10. M. Kwiatkowska, G. Norman, and D. Parker, "Prism: probabilistic model checking for performance and reliability analysis," SIGMETRICS, vol. 36, no. 4, pp. 40-45, 2009.
11. A. Naskos, E. Stachtiari, A. Gounaris, P. Katsaros, D. Tsoumakos, I. Konstantinou, and S. Sioutas, "Cloud elasticity using probabilistic model checking," CoRR, vol. Abs/1405. 4699, 2014.
12. J. Kuhlenkamp, M. Klems, and O. Röss, "Benchmarking scalability and elasticity of distributed database systems," 2014, pp. 1219-1230.
13. X. Dutreilh, N. Rivierre, A. Moreau, J. Malenfant, and I. Truck, "From data center resource allocation to control theory and back," in IEEE CLOUD, 2010, pp. 410-417.
14. M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley & Sons, Inc., 1994.
15. Q. Zhang, M. F. Zhani, R. Boutaba, and J. L. Hellerstein, "Harmony: Dynamic heterogeneity-aware resource provisioning in the cloud," in ICDCS, 2013, pp. 510-519.
16. V. Koukis, C. Venetsanopoulos, and N. Koziris, "okeanos: Building a cloud, cluster by cluster," IEEE Internet Computing, vol. 17, no. 3, pp. 67-71, 2013.
17. M. L. Massie, B. N. Chun, and D. E. Culler, "The ganglia distributed monitoring system: design, implementation, and experience," Parallel Computing, vol. 30, no. 7, pp. 817-840, 2004.
18. Y. Tan, H. Nguyen, Z. Shen, X. Gu, C. Venkatramani, and D. Rajan, "Prepare: Predictive performance anomaly prevention for virtualized cloud systems," in ICDCS, 2012, pp. 285-294.
19. H. Fernandez, G. Pierre, and T. Kielmann, "Autoscaling web applications in heterogeneous cloud infrastructures," in Proc. of the IEEE Int. Conf. on Cloud Engineering (IC2E), 2014.
20. L. Moore, K. Bean, and T. Ellahi, "A coordinated reactive and predictive approach to cloud elasticity," in CLOUD COMPUTING 2013, 2013, pp. 87-92.
21. G. Copil, D. Moldovan, H. L. Truong, and S. Dustdar, "Multilevel elasticity control of cloud services," in ICSOC, 2013, pp. 429-436.
22. A. Al-Shishtawy and V. Vlassov, "Elastman: elasticity manager for elastic key-value stores in the cloud," in CAC, 2013, p. 7.
23. H. Lim, S. Babu, and J. S. Chase, "Automated control for elastic storage," in ICAC, 2010, pp. 1-10.
24. R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli, "Dynamic qos management and optimization in service-based systems," IEEE Trans. Software Eng., vol. 37, no. 3, pp. 387-409, 2011.
25. D. Perez-Palacin, R. Calinescu, and J. Merseguer, "Log2cloud: Log-based prediction of cost-performance trade-offs for cloud deployments," in ACM SAC, 2013, pp. 397-404.