Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

Abstract : Software validation and verification (V&V) ensures that software products satisfy user requirements and meet their expected quality attributes throughout their lifecycle. While high levels of adaptation and autonomy provide new ways for software systems to operate in highly dynamic environments, developing certifiable V&V methods for guaranteeing the achievement of self-adaptive software goals is one of the major challenges facing the entire research field. In this chapter we (i) analyze fundamental challenges and concerns for the development of V&V methods and techniques that provide certifiable trust in self-adaptive and self-managing systems; and (ii) present a proposal for including V&V operations explicitly in feedback loops for ensuring the achievement of software self-adaptation goals. Both of these contributions provide valuable starting points for V&V researchers to help advance this field.
Type de document :
Chapitre d'ouvrage
de Lemos, Rogerio and Giese, Holger and Müller, Hausi and Shaw, Mary. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.108-132, 2013, LNCS, 978-3-642-35812-8
Liste complète des métadonnées

https://hal.inria.fr/hal-00709943
Contributeur : Gabriel Tamura <>
Soumis le : mardi 17 juillet 2012 - 06:38:27
Dernière modification le : jeudi 26 juillet 2018 - 15:20:10
Document(s) archivé(s) le : jeudi 18 octobre 2012 - 02:21:01

Fichier

run-time-vv.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00709943, version 2

Collections

Citation

Gabriel Tamura, Norha Villegas, Hausi Müller, João P. Sousa, Basil Becker, et al.. Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. de Lemos, Rogerio and Giese, Holger and Müller, Hausi and Shaw, Mary. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.108-132, 2013, LNCS, 978-3-642-35812-8. 〈hal-00709943v2〉

Partager

Métriques

Consultations de la notice

679

Téléchargements de fichiers

1199