Skip to main content
SpringerLink
Log in

Verification and Analysis of Autonomic Systems for Networked Enterprises

  • Chapter
Book cover Methodologies and Technologies for Networked Enterprises

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7200))

  • 989 Accesses

Abstract

Autonomic Computing is an innovative research area, that proposes self-management features for dynamic configuration, healing purpose, optimization and protection. Autonomic systems adapt themselves quickly to changes in the environment in which they operate, but, while this feature helps the automatic management of complex systems, it makes the job of validating and verifying them extremely difficult. In this chapter we point out the major challenges in validating such systems and we overview some proposals and methodologies for supporting their validation, analyzing in particular model checking techniques, testing methodologies, model-based dependability analysis and monitoring. Moreover we propose our model checking approach for verifying the autonomic workflow, developed for ArtDeco project and described in Chapter 7.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ibm autonomic computing toolkit

    Google Scholar 

  2. The liberty alliance project

    Google Scholar 

  3. Arnold, A., Bégay, D., Crubillé, P.: Construction and analysis of transition systems with MEC. World Scientific Pub. Co. Inc. (1994)

    Google Scholar 

  4. Bakera, M., Wagner, C., Margaria, T., Vassev, E., Hinchey, M., Steffen, B.: Component-oriented behavior extraction for autonomic system design. In: Methods Symposium, p. 66 (2009)

    Google Scholar 

  5. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Ben-Ari, M.: Principles of the Spin model checker. Springer-Verlag New York Inc. (2008)

    Google Scholar 

  7. Bertolino, A., Calabrò, A., Lonetti, F., Sabetta, A.: GLIMPSE: A generic and flexible monitoring infrastructure - techn. rep. 2010-tr-024 (2010)

    Google Scholar 

  8. Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: Model-Based Generation of Testbeds for Web Services. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 266–282. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  9. Bertolino, A., De Angelis, G., Lonetti, F., Sabetta, A.: Let the puppets move! automated testbed generation for service-oriented mobile applications. In: SEAA, pp. 321–328. IEEE (2008)

    Google Scholar 

  10. Bertolino, A., De Angelis, G., Polini, A., Sabetta, A.: Trends and research issues in soa validation. In: Cardellini, V., Casalicchio, E., Regina, K., Branco, J.L.C., Estrella, J.C., Monaco, F.J. (eds.) Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. IGI Global (2011) (to appear, accepted for publication)

    Google Scholar 

  11. Bertolino, A., De Angelis, G., Sabetta, A., Elbaum, S.G.: Scaling up SLA monitoring in pervasive environments. In: ESSPE, pp. 65–68 (2007)

    Google Scholar 

  12. Blum, M., Luby, M., Rubinfeld, R.: Self-testing/correcting with applications to numerical problems. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing, pp. 73–83. ACM, New York (1990)

    Chapter  Google Scholar 

  13. Bondavalli, A., Chiaradonna, S., Di Giandomenico, F.: Model-Based Evaluation as a Support to the Design of Dependable Systems. In: Diab, H.B., Zomaya, A.Y. (eds.) Dependable Computing Systems: Paradigms, Performance Issues, and Applications, pp. 57–86 (2005)

    Google Scholar 

  14. Brown, A., Redlin, C.: Measuring the Effectiveness of Self-Healing Autonomic Systems. In: Proceedings of the Second International Conference on Autonomic Computing. IEEE Computer Society (2005)

    Google Scholar 

  15. Chohra, A., Di Giandomenico, F., Porcarelli, S., Bondavalli, A.: Towards optimal database maintenance in wireless communication systems. In: Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, pp. 571–576 (2001)

    Google Scholar 

  16. Chow, M., Gott, R., Lei, C., Siddigue, N.: Method and System for Autonomic Verification of HDL Models Using Real-Time Statistical Analysis and Layered Feedback Stages (2009)

    Google Scholar 

  17. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359–364. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Clarke, E., Emerson, A., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS) 8(2), 263 (1986)

    Article  Google Scholar 

  19. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8, 244–263 (1986)

    Article  MATH  Google Scholar 

  20. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Progress on the state explosion problem in model checking. In: Informatics - 10 Years Back. 10 Years Ahead, pp. 176–194. Springer, London (2001)

    Google Scholar 

  21. Peled, D., Pelliccione, P., Spoletini, P.: Model checking. In: Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc. (2008)

    Google Scholar 

  22. den Hartog, J.: Trust Management Architecture Design. The Trusted Architecture for Securely Shared Services (TAS3) Consortium (June 2009)

    Google Scholar 

  23. Dobson, S., Denazis, S.G., Fernández, A., Gaïti, D., Gelenbe, E., Massacci, F., Nixon, P., Saffre, F., Schmidt, N., Zambonelli, F.: A survey of autonomic communications. TAAS 1(2), 223–259 (2006)

    Article  Google Scholar 

  24. Dubus, J., Merle, P.: Towards Model-Driven Validation of Autonomic Software Systems in Open Distributed Environments. In: Proceedings of the 1st Workshop on Model-Driven Software Adaptation, pp. 39–48 (2007)

    Google Scholar 

  25. Ergun, F., Kumar, S., Sivakumar, D.: Self-testing without the generator bottleneck. SIAM Journal on Computing 29(5), 1630–1651 (2000)

    Article  MathSciNet  Google Scholar 

  26. Garg, A., Battiti, R., Costanzi, G.: Dynamic Self-management of Autonomic Systems: The Reputation, Quality and Credibility (RQC) Scheme. In: Smirnov, M. (ed.) WAC 2004. LNCS, vol. 3457, pp. 165–178. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  27. Global Grid Forum. Web Services Agreement Specification (WS–Agreement), version 2005/09 edition (September 2005)

    Google Scholar 

  28. Grassi, V., Mirandola, R., Randazzo, E.: Model-Driven Assessment of QoS-Aware Self-Adaptation. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol. 5525, pp. 201–222. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  29. Griffith, R., Kaiser, G., López, J.: Multi-perspective evaluation of self-healing systems using simple probabilistic models. In: Proceedings of the 6th International Conference on Autonomic Computing, pp. 59–60. ACM (2009)

    Google Scholar 

  30. Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Information and Computation 111, 394–406 (1992)

    MathSciNet  Google Scholar 

  31. IBM. WSLA: Web Service Level Agreements, version: 1.0 revision: wsla-2003/01/28 edition (2003)

    Google Scholar 

  32. Janik, A., Zielinski, K.: Aaop-based dynamically reconfigurable monitoring system. Inf. Softw. Technol. 52(4), 380–396 (2010)

    Article  Google Scholar 

  33. Kaiser, G., Parekh, J., Gross, P., Valetto, G.: Kinesthetics extreme: an external infrastructure for monitoring distributed legacy systems. In: Autonomic Computing Workshop, 2003, pp. 22–30 (June 2003)

    Google Scholar 

  34. King, T., Babich, D., Alava, J., Stevens, R., Clarke, P.: Towards self-testing in autonomic computing systems. In: ISADS, vol. 7, pp. 51–58. Citeseer

    Google Scholar 

  35. King, T., Ramirez, A., Cruz, R., Clarke, P.: An integrated self-testing framework for autonomic computing systems. Journal of Computers 2(9), 37–249 (2007)

    Article  Google Scholar 

  36. Kumar, S., Sivakumar, D.: Efficient self-testing/self-correction of linear recurrences. In: Proc. 37th Foundations of Computer Science, pp. 602–611 (1996)

    Google Scholar 

  37. Larsen, K.: Efficient Local Correctness Checking. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol. 663, pp. 30–43. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  38. Le Treon, Y., Deveaux, D., Jezequel, J.: Self-testable components: from pragmatic tests todesign-for-testability methodology. In: Proceedings of Technology of Object-Oriented Languages and Systems, 1999, pp. 96–107 (1999)

    Google Scholar 

  39. Leuschel, M., Massart, T.: Infinite State Model Checking by Abstract Interpretation and Program Specialisation. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol. 1817, pp. 62–81. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  40. Mansouri-Samani, M., Sloman, M.: GEM: a generalized event monitoring language for distributed systems. Distributed Systems Engineering 4(2), 96–108 (1997)

    Article  Google Scholar 

  41. Massie, M.L., Chun, B.N., Culler, D.E.: The Ganglia distributed monitoring system: design, implementation, and experience. Parallel Computing 30(7), 817–840 (2004)

    Article  Google Scholar 

  42. Mateescu, R., Garavel, H.: XTL: A meta-language and tool for temporal logic model-checking. In: Software Tools for Technology Transfer STTT 1998, p. 33 (1998)

    Google Scholar 

  43. McCann, J.A., Huebscher, M.C.: Evaluation Issues in Autonomic Computing. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3252, pp. 597–608. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  44. Menascé, D.A., Bennani, M.N., Ruan, H.: On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems. In: Babaoğlu, Ö., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M. (eds.) SELF-STAR 2004. LNCS, vol. 3460, pp. 128–142. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  45. Menascé, D.A., Dowdy, L.W., Almeida, V.A.F.: Performance by Design: Computer Capacity Planning By Example. Prentice Hall PTR, Upper Saddle River (2004)

    Google Scholar 

  46. Mishra, K., Trivedi, K.S.: Model Based Approach for Autonomic Availability Management. In: Penkler, D., Reitenspiess, M., Tam, F. (eds.) ISAS 2006. LNCS, vol. 4328, pp. 1–16. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  47. Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-Based Evaluation: from Dependability to Security. IEEE Transactions on Dependable and Secure Computing 1, 48–65 (2004)

    Article  Google Scholar 

  48. Nou, R., Kounev, S., Julià, F., Torres, J.: Autonomic qoS control in enterprise grid environments using online simulation. Journal of Systems and Software 82(3), 486–502 (2009)

    Article  Google Scholar 

  49. Oppliger, R.: Microsoft.net passport and identity management. Information Security Technical Report 9(1), 26–34 (2004)

    Article  Google Scholar 

  50. Pava, J., Enoex, C., Hernandez, Y.: A self-configuring test harness for web applications. In: Proceedings of the 47th Annual Southeast Regional Conference, p. 66. ACM (2009)

    Google Scholar 

  51. Perez-Palacin, D., Mirandola, J., Merseguer, R., Grassi, V.: QoS-Based Model Driven Assessment of Adaptive Reactive Systems. To appear in Proceeding VIDAS 2010 (2010)

    Google Scholar 

  52. Porcarelli, S., Castaldi, M., Di Giandomenico, F., Bondavalli, A., Inverardi, P.: A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol. 3069, pp. 167–190. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  53. Queille, J.P., Sifakis, J.: Fairness and related properties in transition systems - a temporal logic to deal with fairness. Acta Inf. 19, 195–220 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  54. Ragouzis, N., Hughes, J., Philpott, R., Maler, E., Madsen, P., Scavo, T. (eds.): Security Assertion Markup Language (SAML) – Technical Overview. The OASIS Consortium (March 2008)

    Google Scholar 

  55. Simoncini, L., Di Giandomenico, F., Bondavalli, A., Chiaradonna, S.: Architectural challenges for a dependable information society. In: Proceedings of the IFIP World Computer Congress, pp. 282–304. Springer, Boston (2004)

    Google Scholar 

  56. Skene, J., Lamanna, D., Emmerich, W.: Precise Service Level Agreements. In: Proc. of ICSE 2004, pp. 179–188. IEEE Computer Society Press (2004)

    Google Scholar 

  57. Sterritt, R., Bustard, D.W.: Autonomic computing - A means of achieving dependability? In: Proc. of ECBS, pp. 247–251. IEEE Computer Society (2003)

    Google Scholar 

  58. Stevens, R., Parsons, B., King, T.: A self-testing autonomic container. In: Proceedings of the 45th Annual Southeast Regional Conference, pp. 1–6. ACM, New York (2007)

    Chapter  Google Scholar 

  59. Vassev, E., Dublin, I., Hinchey, M., Limerick, I., Quigley, A.: Model checking for autonomic systems specified with ASSL. In: Formal Methods Symposium, p. 16 (2009)

    Google Scholar 

  60. Vassev, E., Hinchey, M., Lu, L., Kim, D., Barringer, H., Groce, A., Havelund, K., Smith, M., Cimatti, A., Roveri, M., et al.: Developing Experimental Models for NASA Missions with ASSL. Arxiv preprint arXiv:1003.0396 (2010)

    Google Scholar 

  61. Yumerefendi, A., Shivam, P., Irwin, D., Gunda, P., Grit, L., Demberel, A., Chase, J., Babu, S.: Towards an autonomic computing testbed. In: Proceedings of the Workshop on Hot Topics in Autonomic Computing (2007)

    Google Scholar 

  62. Zhao, Q., Wang, H., Lv, H., Feng, G.: A Software Dependability Growth Model based on Self-Reconfiguration. In: Proceedings of the 11th Joint Conference on Information Science. Atlantis Press (2008)

    Google Scholar 

  63. Wang, Z., Elbaum, S., Rosenblum, D.S.: Automated generation of context-aware tests. In: Proc. of the 29th International Conference on Software Engineering (ICSE), pp. 406–415 (May 2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISTI-CNR, Via Moruzzi 1, Pisa, Italy

    Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti & Antonino Sabetta

  2. Universitá dell’Insubria, Via Ravasi 2, Varese, Italy

    Paola Spoletini

Authors
  1. Antonia Bertolino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guglielmo De Angelis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Felicita Di Giandomenico
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Eda Marchetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Antonino Sabetta
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Paola Spoletini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dip. di Ingegneria dell’Informazione, Università di Pisa, Largo Lucio Lazzarino 1, 56122, Pisa, Italy

    Giuseppe Anastasi

  2. Dipartimento di Elettronica ed Informazione, Politecnico di Milano, Piazza Leonardo da Vinci 21, 20133, Milano, Italy

    Emilio Bellini , Elisabetta Di Nitto  & Letizia Tanca ,  & 

  3. Deep-SE Group - Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci, 32, 20133, Milano, Italy

    Carlo Ghezzi

  4. Sistemi di Elaborazione dell’Informazione, Università degli Studi del Sannio, Via Traiano 1, 82100, Benevento, Italy

    Eugenio Zimeo

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bertolino, A., De Angelis, G., Di Giandomenico, F., Marchetti, E., Sabetta, A., Spoletini, P. (2012). Verification and Analysis of Autonomic Systems for Networked Enterprises. In: Anastasi, G., Bellini, E., Di Nitto, E., Ghezzi, C., Tanca, L., Zimeo, E. (eds) Methodologies and Technologies for Networked Enterprises. Lecture Notes in Computer Science, vol 7200. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31739-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31739-2_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31738-5

  • Online ISBN: 978-3-642-31739-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation