by Gabriel Tamura, NorhaM. Villegas, HausiA. Müller, JoãoPedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovskii, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong
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.
Reference:
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems (Gabriel Tamura, NorhaM. Villegas, HausiA. Müller, JoãoPedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovskii, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, 2013.
Bibtex Entry:
@InCollection{SEfSAS2-VandV,
AUTHOR = {Tamura, Gabriel and Villegas, NorhaM. and Müller, HausiA. and Sousa, JoãoPedro and Becker, Basil and Karsai, Gabor and Mankovskii, Serge and Pezzè, Mauro and Sch\"{a}fer, Wilhelm and Tahvildari, Ladan and Wong, Kenny},
TITLE = {{Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems}},
YEAR = {2013},
MONTH = {January},
BOOKTITLE = {Software Engineering for Self-Adaptive Systems II},
VOLUME = {7475},
PAGES = {108-132},
EDITOR = {de Lemos, Rogério and Giese, Holger and Müller, HausiA. and Shaw, Mary},
SERIES = {Lecture Notes in Computer Science (LNCS)},
PUBLISHER = {Springer},
URL = {http://dx.doi.org/10.1007/978-3-642-35813-5_5},
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.}
}