Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 283-292

  Filieri, Antonio ^a   Ghezzi, Carlo ^a   Leva, Alberto ^a   Maggio, Martina ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

Adaptive software; control theory; dynamic systems; non functional requirements; reliability; run time verification

Indexed keywords

ADAPTIVE SOFTWARE; DISCRETE TIME MARKOV CHAINS; FAILURE STATE; NON-FUNCTIONAL REQUIREMENTS; PRELIMINARY APPROACH; REACHABILITY; RUN-TIME VERIFICATION; RUNTIMES; SELF ADAPTATION; SELF-ADAPTIVE SOFTWARE;

CONTROL THEORY; DYNAMICAL SYSTEMS; MARKOV PROCESSES; RELIABILITY; RELIABILITY THEORY; SAFETY ENGINEERING; SOFTWARE ENGINEERING;

SOFTWARE RELIABILITY;

EID: 84855465057     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2011.6100064     Document Type: Conference Paper

References (52)

1. L. Baresi and C. Ghezzi, "The disappearing boundary between development-time and run-time," in FSE/SDP - Future of software engineering research. New York, NY, USA: ACM, 2010, pp. 17-22.
2. G. Blair, N. Bencomo, and R. France, "Models@ run.time," Computer, vol. 42, no. 10, pp. 22-27, 2009.
3. I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli, "Model evolution by run-time parameter adaptation," in ICSE, 2009.
4. C. Baier and J.-P. Katoen, Principles of Model Checking. The MIT Press, 2008.
5. R. C. Cheung, "A user-oriented software reliability model," IEEE TSE, vol. 6, no. 2, pp. 118-125, 1980.
6. L. Cheung, R. Roshandel, N. Medvidovic, and L. Golubchik, "Early prediction of software component reliability," in ICSE, Leipzig, Germany, May 10-18, 2008. ACM, 2008, pp. 111-120.
7. A. Filieri, C. Ghezzi, V. Grassi, and R. Mirandola, "Reliability analysis of component-based systems with multiple failure modes," in CBSE, 2010, pp. 1-20.
8. K. Goseva-Popstojanova and K. S. Trivedi, "Architecture-based approach to reliability assessment of software systems," Performance Evaluation, vol. 45, no. 2-3, pp. 179-204, 2001. (Pubitemid 32529469)
9. R. Reussner, H. W. Schmidt, and I. Poernomo, "Reliability prediction for component-based software architectures," JSS, vol. 66, no. 3, pp. 241-252, 2003.
10. J. Kemeny, J. Snell, and A. Knapp, Denumerable Markov chains. Springer, 1976.
11. H. Hansson and B. Jonsson, "A logic for reasoning about time and reliability," FAC, vol. 6, no. 5, pp. 512-535, 1994.
12. W. Pestman, Mathematical statistics: an introduction. Walter de Gruyter, 1998.
13. A. Filieri, C. Ghezzi, and G. Tamburrelli, "Run-time efficient probabilistic model checking," in ICSE, 2011.
14. E. Hahn, H. Hermanns, and L. Zhang, "Probabilistic reachability for parametric markov models," Model Checking Software, pp. 88-106, 2009.
15. W. Levine, The control handbook. CRC Press, 2005.
16. G. F. Franklin, J. D. Powell, and A. Emami-Naeini, Feedback Control of Dynamic Systems, 6th Edition. Pearson, 2009.
17. J. Doyle, B. Francis, and A. Tannenbaum, Feedback control theory. Basingstoke, UK: MacMillan, 1992.
18. K. Åström and T. Hägglund, Advanced PID Control. Research Triangle Park, NC: ISA - The Instrumentation, Systems, and Automation Society, 2005.
19. A. O'Dwyer, Handbook of PI And PID Controller Tuning Rules, 2nd ed. Imperial College Press, 2006.
20. F. Lewis and V. Syrmos, Optimal Control, 2nd ed. John Wiley & Sons, 2004.
21. H. Pham, "Software reliability and cost models: Perspectives, comparison, and practice," EJOR, vol. 149, no. 3, pp. 475-489, 2003.
22. M. Morari and E. Zafiriou, Robust process control. Upper Saddle River, NJ: Prentice Hall, 1989.
23. J. Kramer and J. Magee, "Self-managed systems: an architectural challenge," in FOSE, 2007, pp. 259-268.
24. B. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, G. Di Marzo Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. Mller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns, and J. Whittle, "Software engineering for self-adaptive systems: A research roadmap," in Software Engineering for Self-Adaptive Systems, ser. LNCS, B. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee, Eds. Springer Berlin / Heidelberg, 2009, vol. 5525, pp. 1-26.
25. N. Thomas, G. Tanase, O. Tkachyshyn, J. Perdue, N. M. Amato, and L. Rauchwerger, "A framework for adaptive algorithm selection in STAPL," in ACM PPoPP. New York, NY, USA: ACM, 2005, pp. 277-288.
26. J. Ansel, C. Chan, Y. L. Wong, M. Olszewski, Q. Zhao, A. Edelman, and S. Amarasinghe, "PetaBricks: A language and compiler for algorithmic choice," in ACM PLDI, 2009.
27. W. Baek and T. Chilimbi, "Green: A framework for supporting energy-conscious programming using controlled approximation," in ACM PLDI, 2010.
28. J. Sorber, A. Kostadinov, M. Garber, M. Brennan, M. D. Corner, and E. D. Berger, "Eon: a language and runtime system for perpetual systems," in SenSys, 2007, pp. 161-174.
29. R. Bitirgen, E. Ipek, and J. F. Martinez, "Coordinated management of multiple interacting resources in chip multiprocessors: A machine learning approach," in MICRO 41: Proceedings of the 41st annual IEEE/ACM International Symposium on Microarchitecture. Washington, DC, USA: IEEE Computer Society, 2008, pp. 318-329.
30. M. A. Suleman, O. Mutlu, M. K. Qureshi, and Y. N. Patt, "Accelerating critical section execution with asymmetric multi-core architectures," in ASPLOS, 2009, pp. 253-264.
31. R. Kumar, K. Farkas, N. Jouppi, P. Ranganathan, and D. Tullsen, "Processor power reduction via single-isa heterogeneous multi-core architectures," Computer Architecture Letters, vol. 2, no. 1, pp. 2-2, 2003.
32. E. Ipek, M. Kirman, N. Kirman, and J. F. Martinez, "Core fusion: accommodating software diversity in chip multiprocessors," SIGARCH Comput. Archit. News, vol. 35, no. 2, pp. 186-197, 2007. (Pubitemid 47582102)
33. J. L. Hellerstein, "Self-managing systems: A control theory foundation,"IEEE LCN, vol. 0, pp. 708-708, 2004.
34. J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback Control of Computing Systems. Wiley, 2004.
35. M. Kihl, A. Robertsson, M. Andersson, and B. Wittenmark, "Control-theoretic analysis of admission control mechanisms for web server systems," The World Wide Web Journal, Springer, vol. 11, no. 1-2008, pp. 93-116, 2007.
36. C. Lu, Y. Lu, T. Abdelzaher, J. Stankovic, and S. Son, "Feedback control architecture and design methodology for service delay guarantees in web servers," IEEE TPDS, vol. 17, no. 9, pp. 1014-1027, 2006. (Pubitemid 44263829)
37. X. Dutreilh, A. Moreau, J. Malenfant, N. Rivierre, and I. Truck, "From data center resource allocation to control theory and back," IEEE CLOUD, vol. 0, pp. 410-417, 2010.
38. D. Kusic and N. Kandasamy, "Risk-aware limited lookahead control for dynamic resource provisioning in enterprise computing systems,"Cluster Computing, vol. 10, pp. 395-408, 2007, 10.1007/s10586-007-0022-y. (Pubitemid 47629385)
39. C. Cascaval, E. Duesterwald, P. F. Sweeney, and R. W. Wisniewski, "Performance and environment monitoring for continuous program optimization," IBM J. Res. Dev., vol. 50, no. 2/3, pp. 239-248, 2006.
40. O. Krieger, M. Auslander, B. Rosenburg, R. W. J. W., Xenidis, D. D. Silva, M. Ostrowski, J. Appavoo, M. Butrico, M. Mergen, A. Waterland, and V. Uhlig, "K42: Building a complete operating system," in EuroSys '06: Proc. of the 1st ACM SIGOPS/EuroSys Euro. Conf. on Computer Systems, 2006.
41. S. Oberthür, C. Böke, and B. Griese, "Dynamic online reconfiguration for customizable and self-optimizing operating systems," in EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software. New York, NY, USA: ACM, 2005, pp. 335-338.
42. C. Karamanolis, M. Karlsson, and X. Zhu, "Designing controllable computer systems," in Proceedings of the 10th conference on Hot Topics in Operating Systems. Berkeley, CA, USA: USENIX Association, 2005, pp. 9-15.
43. M. Maggio, H. Hoffmann, M. D. Santambrogio, A. Agarwal, and A. Leva, "Controlling software applications via resource allocation within the heartbeats framework," in CDC, 2010, pp. 3736-3741.
44. IBM Inc., "IBM autonomic computing website,"http://www. research.ibm.com/autonomic/, 2009.
45. Oracle Corp., "Automatic Workload Repository (AWR) in Oracle Database 10g," http://www.oracle-base.com/articles/10g/ AutomaticWorkloadRepository10g.php.
46. Intel Inc., "Reliability, availability, and serviceability for the always-on enterprise," www.intel.com/assets/pdf/whitepaper/ras.pdf, 2005.
47. R. Dorf and R. Bishop, Modern control systems. Prentice Hall, 2008.
48. X. Zhu, M. Uysal, Z. Wang, S. Singhal, A. Merchant, P. Padala, and K. Shin, "What does control theory bring to systems research?" SIGOPS Oper. Syst. Rev., vol. 43, pp. 62-69, 2009.
49. M. Tanelli, D. Ardagna, and M. Lovera, "LPV model identification for power management of web service systems," in IEE MSC. Boston, MA: IEEE Control Systems Society, 2008, pp. 1171-1176.
50. Q. Sun, G. Dai, and W. Pan, "LPV model and its application in web server performance control," in CSSE, vol. 3. Washington, DC, USA: IEEE Computer Society, 2008, pp. 486-489.
51. J. Hellerstein, V. Morrison, and E. Eilebrecht, "Applying control theory in the real world: Experience with building a controller for the. net thread pool," Sigmetrics Performance Evaluation Review, pp. 38-42, 2009.
52. R. Brockett, "Optimal control of observable continuous time markov chains," in Decision and Control, 2008. CDC 2008. 47th IEEE Conference on. IEEE, 2008, pp. 4269-4274.