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.

Verification and analysis of autonomic systems for networked enterprises

SPOLETINI, PAOLA
2012

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.
9783642317385
9783642317392
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11383/1758922
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact