Automated design of self-adaptive software with control-theoretical formal guarantees

Proceedings - International Conference on Software Engineering

Volumn , Issue 1, 2014, Pages 299-310

  Filieri, Antonio ^a   Hoffmann, Henry ^b   Maggio, Martina ^c  

^a UNIVERSITY OF STUTTGART   (Germany)

^b UNIVERSITY OF CHICAGO   (United States)

^c LUND UNIVERSITY   (Sweden)

Author keywords

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

Indexed keywords

COMPUTER CONTROL; COMPUTER SOFTWARE; CONTROL THEORY; DIFFERENCE EQUATIONS; DYNAMICAL SYSTEMS; SOFTWARE ENGINEERING; VERIFICATION;

ADAPTIVE SOFTWARE; EXECUTION ENVIRONMENTS; HETEROGENEOUS COMPONENT; NON-FUNCTIONAL REQUIREMENTS; RUN-TIME VERIFICATION; SELF ADAPTIVE SOFTWARES; THEORETICAL SOLUTIONS; UNCERTAIN ENVIRONMENTS;

ADAPTIVE CONTROL SYSTEMS;

EID: 84994156481     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2568225.2568272     Document Type: Conference Paper

References (72)

1. A. Aleti et al. "Software Architecture Optimization Methods: A Systematic Literature Review". In: Soft-ware Engineering, IEEE Transactions on 39. 5 (2013), pp. 658-683.
2. J. Ansel et al. "PetaBricks: A Language and Compiler for Algorithmic Choice". In: ACM PLDI. 2009.
3. D. Ardagna and R. Mirandola. "Per-ow optimal service selection for Web services based processes". In: Journal of Systems and Software 83. 8 (2010), pp. 1512-1523.
4. K. J. Astrom and B. Wittenmark. Adaptive Control. 2nd. 1994. isbn: 0201558661.
5. S. Babu. "Towards automatic optimization of MapReduce programs". In: SoCC. 2010, pp. 137-142. isbn: 978-1-4503-0036-0.
6. W. Baek and T. Chilimbi. "Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation". In: ACM PLDI. 2010.
7. N. Ben Mabrouk et al. "QoS-Aware Service Composition in Dynamic Service Oriented Environments". In: Middleware. Vol. 5896. Lecture Notes in Computer Science. 2009, pp. 123-142.
8. S. Billings. "Identication of nonlinear systems: a survey". In: CTA 127. 6 (1980), pp. 272-285.
9. R. Bitirgen et al. "Coordinated management of multiple interacting resources in chip multiprocessors: A machine learning approach". In: MICRO. 2008, pp. 318-329.
10. Y. Brun et al. "Engineering Self-Adaptive Systems through Feedback Loops". In: Software Engineering for Self-Adaptive Systems. 2009, pp. 48-70.
11. R. Calinescu et al. "Self-adaptive software needs quantitative verification at runtime". In: Commun. ACM 55. 9 (Sept. 2012), pp. 69-77.
12. G. Canfora et al. "An approach for QoS-aware service composition based on genetic algorithms". In: GECCO. 2005, pp. 1069-1075.
13. C. Cascaval et al. "Performance and environment monitoring for continuous program optimization". In: IBM J. Res. Dev. 50. 2/3 (2006), pp. 239-248.
14. B. Cheng et al. "Software Engineering for Self-Adaptive Systems: A Research Roadmap". In: Soft-ware Engineering for Self-Adaptive Systems. 2009, pp. 1-26.
15. J. Dean and S. Ghemawat. "MapReduce: simplied data processing on large clusters". In: Commun. ACM 51. 1 (Jan. 2008), pp. 107-113.
16. Y. Diao et al. "Self-managing systems: a control theory foundation". In: ECBS Workshop. 2005, pp. 441-448.
17. R. Dorf and R. Bishop. Modern control systems. Prentice Hall, 2008. isbn: 0132270285.
18. Y. Dotsenko et al. "Auto-tuning of fast fourier transform on graphics processors". In: PPoPP. 2011, pp. 257-266.
19. X. Dutreilh et al. "From Data Center Resource Allocation to Control Theory and Back". In: CLOUD 0 (2010), pp. 410-417.
20. L. Eeckhout et al. "Quantifying the Impact of Input Data Sets on Program Behavior and its Applications". In: J. Instruction-Level Parallelism 5 (2003).
21. G. Evensen. Data assimilation: the ensemble Kalman filter. Springer, 2009.
22. A. Filieri et al. "Run-time Efficient probabilistic model checking". In: ICSE. ACM, 2011, pp. 341-350.
23. A. Filieri et al. "Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements". In: ASE. 2011, pp. 283-292.
24. A. Filieri et al. "Reliability-driven dynamic binding via feedback control". In: SEAMS. June 2012.
25. G. F. Franklin et al. Feedback Control of Dynamic Sys-tems. 2009.
26. W. Gentzsch et al. "Self-Adaptable Autonomic Computing Systems: An Industry View". In: Proceedings of the 16th International Workshop on Database and Expert Systems Applications. 2005, pp. 201-205.
27. J. Hellerstein et al. Feedback Control of Computing Systems. 2004.
28. J. L. Hellerstein. "Self-Managing Systems: A Control Theory Foundation". In: ECBS (2005), pp. 708-708.
29. J. L. Hellerstein et al. "Applying control theory in the real world: experience with building a controller for the. NET thread pool". In: SIGMETRICS Perform. Eval. Rev. 37. 3 (2010), pp. 38-42.
30. H. Herodotou and S. Babu. "profiling, What-if Analysis, and Cost-based Optimization of MapReduce Programs". In: PVLDB 4. 11 (2011), pp. 1111-1122.
31. H. Homann et al. "Self-aware computing in the Angstrom processor". In: DAC. 2012.
32. H. Homann. "Racing and Pacing: An Evaluation of Heuristics for Energy-aware Resource Allocation". In: Hot Power. 2013.
33. H. Homann et al. "Dynamic Knobs for Responsive Power-Aware Computing". In: ASPLOS. 2011.
34. H. Homann et al. "A Generalized Software Framework for Accurate and Efficient Management of Performance Goals". In: EMSOFT. 2013.
35. M. C. Huebscher and J. A. McCann. "A survey of autonomic computing: degrees, models, and applications". In: ACM Comput. Surv. 40. 3 (Aug. 2008), 7: 1-7: 28.
36. IBM Inc. IBM Autonomic Computing website. http: //www. research. ibm. com/autonomic/. 2009.
37. Intel Inc. Reliability, Availability, and Serviceability for the Always-on Enterprise. www. intel. com / assets/pdf/whitepaper/ras. pdf. 2005.
38. E. Ipek et al. "Core fusion: accommodating software diversity in chip multiprocessors". In: SIGARCH Com-put. Archit. News 35. 2 (2007), pp. 186-197.
39. M. Jaeger et al. "QoS-Aware Composition of Web Services: An Evaluation of Selection Algorithms". In: On the Move to Meaningful Internet Systems. Vol. 3760. 2005, pp. 646-661.
40. R. Johnson et al. Professional Java Development with the Spring Framework. 2005.
41. T. Kajiyama et al. "Statistical performance tuning of parallel Monte Carlo ocean color simulations". In: PD-CAT. Dec. 2012, pp. 761-766.
42. C. Karamanolis et al. "Designing controllable computer systems". In: HotOS. 2005, pp. 9-15.
43. T. Karcher and V. Pankratius. "Run-time automatic performance tuning for multicore applications". In: EUROPAR. 2011, pp. 3-14.
44. J. O. Kephart and D. M. Chess. "The Vision of Autonomic Computing". In: Computer 36. 1 (Jan. 2003), pp. 41-50.
45. M. Kihl et al. "Control-Theoretic Analysis of Admission Control Mechanisms for Web Server Systems". In: The World Wide Web Journal 11 (2007), pp. 93-116.
46. J. Kramer and J. Magee. "Self-Managed Systems: an Architectural Challenge". In: FOSE. 2007, pp. 259-268.
47. O. Krieger et al. "K42: Building a Complete Operating System". In: EuroSys. 2006.
48. R. Kumar et al. "Processor Power Reduction Via Single-ISA Heterogeneous Multi-Core Architectures". In: Computer Architecture Letters 2. 1 (2003), p. 2.
49. D. Kusic and N. Kandasamy. "Risk-aware limited lookahead control for dynamic resource provisioning in enterprise computing systems". In: Cluster Computing 10 (4 2007), pp. 395-408.
50. J. Liu et al. "Panacea: towards holistic optimization of MapReduce applications". In: CGO. 2012, pp. 33-43.
51. C. Lu et al. "Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers". In: Parallel and Distributed Systems, IEEE Transactions on 17. 9 (2006), pp. 1014-1027.
52. M. Maggio et al. "Power Optimization in Embedded Systems via Feedback Control of Resource Allocation". In: Control Systems Technology, IEEE Transactions on 21. 1 (2013), pp. 239-246. issn: 1063-6536. doi: 10. 1109/TCST. 2011. 2177499.
53. M. Maggio and H. Homann. "ARPE: A Tool To Build Equation Models of Computing Systems". In: Feedback Computing 2013. 2013.
54. M. Maggio et al. "Controlling software applications via resource allocation within the heartbeats framework". In: CDC. 2010, pp. 3736-3741.
55. S. Oberthur et al. "Dynamic online reConfiguration for customizable and self-optimizing operating systems". In: EMSOFT. 2005, pp. 335-338.
56. Oracle Corp. Automatic Workload Reposi-tory (AWR) in Oracle Database 10g. http: / / www. oracle-base. com / articles / 10g / AutomaticWorkloadRepository10g. php.
57. T. Patikirikorala et al. "A systematic survey on the design of self-adaptive software systems using control engineering approaches". In: SEAMS. 2012, pp. 33-42.
58. S. F. Rahman et al. "Automated empirical tuning of scientic codes for performance and power consumption". In: HiPEAC. 2011, pp. 107-116.
59. N. Rizvandi et al. "On Using Pattern Matching Algorithms in MapReduce Applications". In: ISPA. 2011, pp. 75-80.
60. N. B. Rizvandi et al. "On Modelling and Prediction of Total CPU Usage for Applications in MapReduce Environments". In: ICA3PP. 2012, pp. 414-427.
61. M. Salehie and L. Tahvildari. "Self-adaptive software: Landscape and research challenges". In: ACM Trans. Auton. Adapt. Syst. 4. 2 (2009), pp. 1-42.
62. J. Sorber et al. "Eon: a language and runtime system for perpetual systems". In: SenSys. 2007, pp. 161-174.
63. M. A. Suleman et al. "Accelerating critical section execution with asymmetric multi-core architectures". In: ASPLOS. 2009, pp. 253-264.
64. Q. Sun et al. "LPV Model and Its Application in Web Server Performance Control". In: CSSE. Vol. 3. 2008, pp. 486-489.
65. M. Tanelli et al. "LPV model identication for Power Management of Web service Systems". In: MSC. 2008, pp. 1171-1176.
66. N. Thomas et al. "A framework for adaptive algorithm selection in STAPL". In: PPoPP. 2005, pp. 277-288.
67. A. Tiwari et al. "Auto-tuning for energy usage in scientific applications". In: Euro-Par. 2012, pp. 178-187.
68. Z. Wang et al. "Image quality assessment: from error visibility to structural similarity". In: IEEE Transac-tions on Image Processing 13. 4 (2004), pp. 600-612.
69. G. Welch and G. Bishop. An introduction to the Kalman filter. 1995.
70. T. Yu et al. "Efficient algorithms for Web services selection with end-to-end QoS constraints". In: ACM Transactions on the Web 1 (1 2007).
71. L. Zeng et al. "QoS-aware middleware forWeb services composition". In: IEEE Transactions on Software En-gineering 30. 5 (2004), pp. 311-327.
72. X. Zhu et al. "What does control theory bring to systems research?" In: SIGOPS Oper. Syst. Rev. 43 (1 2009), pp. 62-69.