Stochastic game analysis and latency awareness for proactive self-adaptation

9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings

Volumn , Issue , 2014, Pages 155-164

  Cámara, Javier ^a   Moreno, Gabriel A ^b   Garlan, David ^a  

^a Carnegie Mellon University   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Latency; Proactive adaptation; Stochastic multiplayer games

Indexed keywords

CHEMICAL ACTIVATION; DECISION MAKING; MODEL CHECKING; SOFTWARE ENGINEERING; STOCHASTIC SYSTEMS;

ADAPTATION DECISIONS; FORMAL ANALYSIS; LATENCY; MULTIPLAYER GAMES; POTENTIAL BENEFITS; PROACTIVE ADAPTATIONS; RESOURCE AVAILABILITY; SELF-ADAPTIVE SYSTEM;

ALGORITHMS;

EID: 84903726367     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2593929.2593933     Document Type: Conference Paper

References (29)

1. R. Alur et al. Alternating-time temporal logic. J. ACM, 49(5), 2002.
2. A. Arcuri and L. Briand. A hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing, Verification and Reliability, 2012.
3. A. Bianco and L. de Alfaro. Model checking of probabalistic and nondeterministic systems. In FSTTCS, volume 1026 of LNCS. Springer, 1995.
4. V. Braberman et al. Controller synthesis: From modelling to enactment. In ICSE. IEEE, 2013.
5. R. Calinescu et al. Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng., 37(3), 2011.
6. T. Chen et al. Automatic verification of competitive stochastic systems. Form Method Syst Des, 43(1), 2013.
7. T. Chen et al. PRISM-games: A model checker for stochastic multi-player games. In Proc. of TACAS'13, volume 7795 of LNCS. Springer, 2013.
8. T. Chen and J. Lu. Probabilistic alternating-time temporal logic and model checking algorithm. In FSKD, volume 2, 2007.
9. S. Cheng et al. Evaluating the Effectiveness of the Rainbow Self-Adaptive System. In SEAMS. IEEE, 2009.
10. S.-W. Cheng et al. Improving architecture-based self-adaptation through resource prediction. In SEfSAS, volume 5525 of LNCS. Springer, 2009.
11. S.-W. Cheng and D. Garlan. Stitch: A language for architecture-based self-adaptation. Journal of Systems and Software, 85(12), 2012.
12. R. Chiulli. Quantitative Analysis: An Introduction. Automation and production systems. Taylor & Francis, 1999.
13. V. Forejt et al. Automated verification techniques for probabilistic systems. In SFM, volume 6659 of LNCS. Springer, 2011.
14. A. Gandhi et al. Autoscale: Dynamic, robust capacity management for multi-tier data centers. ACM Trans. Comput. Syst., 30(4), 2012.
15. D. Garlan et al. Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. IEEE Computer, 37(10), 2004.
16. R. Goldman et al. Managing online self-adaptation in real-time environments. In Self-Adaptive Software: Applications, volume 2614 of LNCS. Springer, 2003.
17. D. Gross et al. Fundamentals of Queueing Theory. Wiley Series in Probability and Statistics. Wiley, 2011.
18. J. Hielscher et al. A framework for proactive self-adaptation of service-based applications based on online testing. volume 5377 of LNCS. Springer, 2008.
19. W. V. D. Hoek and M. Wooldridge. Model checking cooperation, knowledge, and time - a case study. In Research in Economics, 2003.
20. J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In FOSE, 2007.
21. S. Kremer and J.-F. Raskin. A game-based verification of non-repudiation and fair exchange protocols. In CONCUR 2001, volume 2154 of LNCS. Springer, 2001.
22. M. Kwiatkowska et al. PRISM 4.0: Verification of probabilistic real-time systems. In CAV, volume 6806 of LNCS. Springer, 2011.
23. A. Metzger et al. Accurate proactive adaptation of service-oriented systems. In ASAS, volume 7740 of LNCS. Springer, 2013.
24. D. Musliner. Imposing real-time constraints on self-adaptive controller synthesis. In Self-Adaptive Software, volume 1936 of LNCS. Springer, 2001.
25. P. Oreizy et al. An architecture-based approach to self-adaptive software. IEEE Intell. Syst., 14, 1999.
26. V. Poladian et al. Leveraging resource prediction for anticipatory dynamic configuration. In SASO, 2007.
27. A. Varga et al. An overview of the OMNeT++ simulation environment. In Simutools. ICST, 2008.
28. C. Wang and J.-L. Pazat. A two-phase online prediction approach for accurate and timely adaptation decision. In SCC, 2012.
29. X. Zhang and C.-H. Lung. Improving software performance and reliability with an architecture-based self-adaptive framework. In COMPSAC, 2010.