Istituto di Scienza e Tecnologie dell'Informazione     
Bertolino A., De Angelis G., Di Giandomenico F., Marchetti E., Sabetta A., Spoletini P. Verification and analysis of autonomic systems for networked enterprises. vol. 7200 Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo (eds.). (Lecture Notes in Computer Science, vol. 7200). Berlin Heidelberg: Springer-Verlag, 2012.
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.
URL: http://link.springer.com/content/pdf/10.1007%2F978-3-642-31739-2_8
DOI: 10.1007/978-3-642-31739-2_8
Subject testing
model checking
Trust managment
stochastic state-based approaches
autonomic computing

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional