Skip to main content

General-Purpose Autonomic Computing

  • Chapter
  • First Online:

Abstract

The success of mainstream computing is largely due to the widespread availability of general-purpose architectures and of generic approaches that can be used to solve real-world problems cost-effectively and across a broad range of application domains. In this chapter, we propose that a similar generic framework is used to make the development of autonomic solutions cost effective, and to establish autonomic computing as a major approach to managing the complexity of today’s large-scale systems and systems of systems. To demonstrate the feasibility of general-purpose autonomic computing, we introduce a generic autonomic computing framework comprising a policy-based autonomic architecture and a novel four-step method for the effective development of self-managing systems. A prototype implementation of the reconfigurable policy engine at the core of our architecture is then used to develop autonomic solutions for case studies from several application domains. Looking into the future, we describe a methodology for the engineering of self-managing systems that extends and generalises our autonomic computing framework further.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Arwe et al. Service Modeling Language, version 1.0, March 2007. http://www.w3.org/Submission/2007/SUBM-sml-20070321.

  2. C. M. Bishop. Pattern Recognition and Machine Learning. Springer, 2007.

    Google Scholar 

  3. E. Bruneton et al. The Fractal component model and its support in Java. Softw. Pract. Exper., 36:1257–1284,2006.

    Article  Google Scholar 

  4. R. Calinescu. Challenges and best practices in policy-based autonomic architectures. In Proc. 3rd IEEE Intl. Symp. Dependable, Autonomic and Secure Computing, pages 65–74, 2007.

    Google Scholar 

  5. R. Calinescu. Model-driven autonomic architecture. In Proc. 4th IEEE Intl. Conf. Autonomic Computing, June 2007.

    Google Scholar 

  6. R. Calinescu. Towards a generic autonomic architecture for legacy resource management. In K. Elleithy, editor, Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering , pages 410–415, Springer, 2008.

    Google Scholar 

  7. R. Calinescu. Implementation of a generic autonomic framework. In D. Greenwood et al., editor, Proc. 4th Intl. Conf. Autonomic and Autonomous Systems, pages 124–129, March 2008.

    Google Scholar 

  8. M. Devarakonda et al. Policy-based autonomic storage allocation. In Self-Managing Distributed Systems, volume2867 of LNCS, pages143–154. Springer, 2004.

    Google Scholar 

  9. S. Dobson et al.A survey of autonomic communications. ACM Transactions on Autonomous and Adaptive Systems,1(2):223–259, December 2006.

    Article  MathSciNet  Google Scholar 

  10. D. Gracanin et al. Towards a model-driven architecture for autonomic systems. In Proc. 11th IEEE Intl. Conf. Engineering of Computer-Based Systems, pages 500–505, 2004.

    Google Scholar 

  11. B. Haverkort et al. On the use of model checking techniques for dependability evaluation. In Proc. 19th IEEE Symp. Reliable Distributed Systems, pages 228–237, October 2000.

    Google Scholar 

  12. M. Hinchey et al. Modeling for NASA autonomous nano-technology swarm missions and model-driven autonomic computing. In Proc. 21st Intl. Conf. Advanced Networking and Applications, pages 250–257, 2007.

    Google Scholar 

  13. M.G. Hinchey and R. Sterritt. Self-managing software. Computer, 39(2):107–109, Feb.2006.

    Article  Google Scholar 

  14. A. Hinton et al. PRISM: A tool for automatic verification of probabilistic systems. In H. Hermanns and J. Palsberg, editors, Proc. 12th Intl. Conf. Tools and Algorithms for the Construction and Analysis of Systems, volume 3920 of LNCS, pages 441–444. Springer, 2006.

    Google Scholar 

  15. IBM Corporation. Autonomic computing: IBM’s perspective on the state of information technology, October 2001.

    Google Scholar 

  16. IBM Corporation. An architectural blueprint for autonomic computing, 2004. http://www-03.ibm.com/autonomic/pdfs/ACBP2_2004-10-04.pdf.

  17. IBM Corporation. Autonomic integrated development environment, April 2006. http://www.alphaworks.ibm.com/tech/aide.

  18. D.N. Jansen et al. How fast and fat is your probabilistic model checker? An experimental comparison. In K. Yorav, editor, Hardware and Software: Verification and Testing, volume 4489 of LNCS, pages 69–85. Springer, 2008.

    Google Scholar 

  19. G. Kaiser et al. Kinesthetics extreme: An external infrastructure for monitoring distributed legacy systems. In Proc. of the 5th Annual Intl. Active Middleware Workshop, June 2003.

    Google Scholar 

  20. H. Kasinger and B. Bauer. Towards a model-driven software engineering methodology for organic computing systems. In Proc. 4th Intl. Conf. Comput. Intel., pages 141–146, 2005.

    Google Scholar 

  21. J.O. Kephart and D.M. Chess. The vision of autonomic computing. IEEE Computer Journal, 36(1):41–50, January 2003.

    Google Scholar 

  22. S. Kikuchi et al. Policy verification and validation framework based on model checking approach. In Proc. 4th IEEE Intl. Conf. Autonomic Computing, June 2007.

    Google Scholar 

  23. M. Kwiatkowska. Quantitative verification: Models, techniques and tools. In Proc. 6th Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symp. Foundations of Software Engineering, pages 449–458. ACM Press, September 2007.

    Google Scholar 

  24. M. Kwiatkowska et al. Stochastic model checking. In M. Bernardo and J. Hillston, editors, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM’07), volume4486 of LNCS, pages 220–270. Springer,2007.

    Google Scholar 

  25. C. Lefurgy et al. Server-level power control. In Proc. 4th IEEE Intl. Conf. Autonomic Computing, June 2007.

    Google Scholar 

  26. T. Lenard and D. Britton. The Digital Economy Factbook. The Progress and Freedom Foundation, 2006.

    Google Scholar 

  27. Wen-Syan Li et al. Load balancing for multi-tiered database systems through autonomic placement of materialized views. In Proc. 22nd IEEE Intl. Conf. Data Engineering, April 2006.

    Google Scholar 

  28. Microsoft Corporation. Xml schema definition tool (xsd.exe), 2007. http://msdn2.microsoft.com/en-us/library/x6c1kb0s(VS.80).aspx.

  29. Microsoft Corporation. System Definition Model overview, April 2004. http://download.microsoft.com/download/b/3/8/b38239c7-2766-4632-9b13-33cf08fad522/sdmwp.doc.

  30. B. Moore. Policy Core Information Model (PCIM) extensions, January 2003. IETF RFC 3460, http://www.ietf.org/rfc/rfc3460.txt.

  31. R. Murch. Autonomic Computing. IBM Press, 2004.

    Google Scholar 

  32. B. Murray et al. Web Services Distributed Management: MUWS primer, February 2006. OASIS WSDM Committee Draft, http://www.oasis-open.org/committees/download.php/17000/wsdm-1.0-muws-primer-cd-01.doc.

  33. OASIS. Web Services Resource Metadata 1.0, November 2006.

    Google Scholar 

  34. M. Parashar and S. Hariri. Autonomic Computing: Concepts, Infrastructure & Applications. CRC Press, 2006.

    Google Scholar 

  35. J. Parekh et al. Retrofitting autonomic capabilities onto legacy systems. Cluster Computing, 9(2):141–159, April 2006.

    Article  Google Scholar 

  36. J. Pena et al. A model-driven architecture approach for modeling, specifying and deploying policies in autonomous and autonomic systems. In Proc. 2nd IEEE Intl. Symp. Dependable, Autonomic and Secure Computing, pages 19–30, 2006.

    Google Scholar 

  37. PRISM Case Studies: Dynamic Power Management. http://www.prismmodelchecker.org/casestudies/power.php.

  38. Q. Qiu et al. Stochastic modeling of a power-managed system: construction and optimization. In Proc. Intl. Symp. Low Power Electronics and Design, pages 194–199. ACM Press, 1999.

    Google Scholar 

  39. M. Rohr et al. Model-driven development of self-managing software systems. In Proc. 9th Intl. Conf. Model-Driven Engineering Languages and Systems. Springer, 2006.

    Google Scholar 

  40. R. Sterritt et al. Sustainable and autonomic space exploration missions. In Proc. 2nd IEEE Intl. Conf. Space Mission Challenges for Information Technology, pages 59–66, 2006.

    Google Scholar 

  41. R. Sterritt and M.G. Hinchey. Biologically-inspired concepts for self-management of complexity. In Proc. 11th IEEE Intl. Conf. Engineering of Complex Computer Systems, pages 163–168, 2006.

    Google Scholar 

  42. J. Strassner et al. Providing seamless mobility using the FOCALE autonomic architecture. In Proc. 7th Intl. Conf. Next Generation Teletraffic and Wired/Wireless Advanced Networking, volume 4712 of LNCS, pages 330–341, 2007.

    Google Scholar 

  43. J. Strassner et al. Ontologies in the engineering of management and autonomic systems: A reality check. Journal of Network and Systems Management, 15(1):5–11,2007.

    Article  MathSciNet  Google Scholar 

  44. W.E. Walsh et al. Utility functions in autonomic systems. In Proc. 1st Intl. Conf. Autonomic Computing, pages 70–77, 2004.

    Google Scholar 

  45. S.R. White et al. An architectural approach to autonomic computing. In Proc. 1st IEEE Intl. Conf. Autonomic Computing, IEEE Computer Society, pages 2–9, 2004.

    Google Scholar 

  46. O. Zimmermann et al. Perspectives on Web Services: Applying SOAP, WSDL and UDDI to Real-World Projects. Springer, 2005.

    Google Scholar 

Download references

Acknowledgments

The work presented in this chapter was partly supported by the UK Engineering and Physical Sciences Research Council grant EP/F001096/1. The author is grateful to Marta Kwiatkowska, David Parker, Gethin Norman and Mark Kattenbelt for insightful discussions during the integration of the PRISM probabilistic model checker with the autonomic policy engine.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Radu Calinescu .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag US

About this chapter

Cite this chapter

Calinescu, R. (2009). General-Purpose Autonomic Computing. In: Zhang, Y., Yang, L., Denko, M. (eds) Autonomic Computing and Networking. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-89828-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-0-387-89828-5_1

  • Published:

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-387-89827-8

  • Online ISBN: 978-0-387-89828-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics