Verification and Analysis of Autonomic Systems for Networked Enterprises

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.

[1]  Yi Pan,et al.  Grid and Cooperative Computing - GCC 2004 Workshops , 2004, Lecture Notes in Computer Science.

[2]  Vincenzo Grassi,et al.  Model-Driven Assessment of QoS-Aware Self-Adaptation , 2009, Software Engineering for Self-Adaptive Systems.

[3]  Huiqiang Wang,et al.  A Software Dependability Growth Model based on Self-Reconfiguration , 2008 .

[4]  Alexandre Petrenko,et al.  Testing of Software and Communicating Systems , 2007, Lecture Notes in Computer Science.

[5]  Thomas A. Henzinger,et al.  Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[6]  Morris Sloman,et al.  GEM: a generalized event monitoring language for distributed systems , 1997, Distributed Syst. Eng..

[7]  Andrea Bondavalli,et al.  Architectural challenges for a dependable Information Society , 2004, IFIP Congress Topical Sessions.

[8]  Tariq M. King,et al.  Towards Self-Testing in Autonomic Computing Systems , 2007, Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07).

[9]  Joseph Sifakis,et al.  Tools and Applications II: The IF Toolset , 2004 .

[10]  Rolf Oppliger,et al.  Microsoft .NET Passport and identity management , 2004, Inf. Secur. Tech. Rep..

[11]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[12]  Aaron B. Brown,et al.  Measuring the Effectiveness of Self-Healing Autonomic Systems , 2005, Second International Conference on Autonomic Computing (ICAC'05).

[13]  Mordechai Ben-Ari,et al.  Principles of the spin model checker , 2008 .

[14]  Witold Pedrycz,et al.  Autonomic Communication , 2009 .

[15]  Helmut Veith,et al.  Progress on the State Explosion Problem in Model Checking , 2001, Informatics.

[16]  Roberto Battiti,et al.  Dynamic Self-management of Autonomic Systems: The Reputation, Quality and Credibility (RQC) Scheme , 2004, WAC.

[17]  Manuel Blum,et al.  Self-testing/correcting with applications to numerical problems , 1990, STOC '90.

[18]  William H. Sanders,et al.  Model-based evaluation: from dependability to security , 2004, IEEE Transactions on Dependable and Secure Computing.

[19]  Ravi Kumar,et al.  Efficient self-testing/self-correction of linear recurrences , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[20]  Tariq M. King,et al.  An Integrated Self-Testing Framework for Autonomic Computing Systems , 2007, J. Comput..

[21]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[22]  Julie A. McCann,et al.  Evaluation Issues in Autonomic Computing , 2004, GCC Workshops.

[23]  Virgílio A. F. Almeida,et al.  Performance by Design - Computer Capacity Planning By Example , 2004 .

[24]  Krzysztof Zielinski,et al.  AAOP-based dynamically reconfigurable monitoring system , 2010, Inf. Softw. Technol..

[25]  Funda Ergün,et al.  Self-Testing without the Generator Bottleneck , 2000, SIAM J. Comput..

[26]  Joseph Sifakis,et al.  Fairness and related properties in transition systems — a temporal logic to deal with fairness , 1983, Acta Informatica.

[27]  Kim G. Larsen,et al.  Efficient Local Correctness Checking , 1992, CAV.

[28]  Wolfgang Emmerich,et al.  Precise service level agreements , 2004, Proceedings. 26th International Conference on Software Engineering.

[29]  Paola Inverardi,et al.  A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems , 2003, WADS.

[30]  David S. Rosenblum,et al.  Automated Generation of Context-Aware Tests , 2007, 29th International Conference on Software Engineering (ICSE'07).

[31]  Yanelis Hernandez,et al.  A self-configuring test harness for web applications , 2009, ACM-SE 47.

[32]  David E. Culler,et al.  The ganglia distributed monitoring system: design, implementation, and experience , 2004, Parallel Comput..

[33]  Michael G. Hinchey,et al.  Developing Experimental Models for NASA Missions with ASSL , 2009, FMA.

[34]  Franco Zambonelli,et al.  A survey of autonomic communications , 2006, TAAS.

[35]  Rogério de Lemos,et al.  Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] , 2009, Software Engineering for Self-Adaptive Systems.

[36]  Roy Sterritt,et al.  Autonomic Computing - a means of achieving dependability? , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[37]  Andrea Polini,et al.  Model-Based Generation of Testbeds for Web Services , 2008, TestCom/FATES.

[38]  David J. John,et al.  Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007 , 2007, ACM Southeast Regional Conference.

[39]  Paul Crubillé,et al.  Construction and Analysis of Transition Systems with MEC , 1995, AMAST Series in Computing.

[40]  Valeria Cardellini,et al.  Performance and Dependability in Service Computing : Concepts , Techniques and Research Directions , 2022 .

[41]  Tiziana Margaria,et al.  Component-Oriented Behavior Extraction for Autonomic System Design , 2009, Self-Healing and Self-Adaptive Systems.

[42]  Vincenzo Grassi,et al.  QoS-Based Model Driven Assessment of Adaptive Reactive Systems , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

[43]  Jean-Marc Jézéquel,et al.  Self-testable components: from pragmatic tests to design-for-testability methodology , 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275).

[44]  Manuel V. Hermenegildo,et al.  Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models , 2013, LOPSTR.

[45]  Thierry Massart,et al.  Infinite State Model Checking by Abstract Interpretation and Program Specialisation , 1999, LOPSTR.

[46]  Antonia Bertolino,et al.  Scaling up SLA monitoring in pervasive environments , 2007, ESSPE '07.

[47]  Daniel A. Menascé,et al.  On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems , 2005, Self-star Properties in Complex Information Systems.

[48]  Andrea Bondavalli,et al.  Model-Based Evaluation as a Support to the Design of Dependable Systems , 2005 .

[49]  Tariq M. King,et al.  A self-testing autonomic container , 2007, ACM-SE 45.

[50]  Andrea Polini,et al.  Trends and Research Issues in SOA Validation , 2010 .

[51]  Gail E. Kaiser,et al.  Multi-perspective evaluation of self-healing systems using simple probabilistic models , 2009, ICAC '09.

[52]  Aaron J. Quigley,et al.  Model Checking for Autonomic Systems Specified with ASSL , 2009, NASA Formal Methods.

[53]  Andrea Bondavalli,et al.  Towards Optimal Database Maintenance in Wireless Communication Systems , 2001, ISAS-SCI.

[54]  Jordi Torres,et al.  Autonomic QoS control in enterprise Grid environments using online simulation , 2009, J. Syst. Softw..

[55]  Gail E. Kaiser,et al.  Kinesthetics eXtreme: an external infrastructure for monitoring distributed legacy systems , 2003, 2003 Autonomic Computing Workshop.

[56]  Francesca Lonetti,et al.  Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications , 2008, 2008 34th Euromicro Conference Software Engineering and Advanced Applications.

[57]  Philippe Merle,et al.  Towards Model-Driven Validation of Autonomic Software Systems in Open Distributed Environments , 2007 .

[58]  Ozalp Babaoglu,et al.  Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004] , 2005, Self-star Properties in Complex Information Systems.

[59]  Kishor S. Trivedi,et al.  Model Based Approach for Autonomic Availability Management , 2006, ISAS.

[60]  Rogério de Lemos,et al.  Architecting dependable systems , 2003, J. Syst. Softw..

[61]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[62]  Antonello Calabrò,et al.  GLIMPSE: a generic and flexible monitoring infrastructure , 2011, EWDC '11.