Reference:
Gabriel Tamura, Norha M. Villegas, Hausi M\"{u}ller, Jo\~{a}oPedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovskii, Mauro Pezz\`{e}, Wilhelm Sch\"{a}fer, Ladan Tahvildari, Kenny Wong, "Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems", in Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 108-132, Springer, January 2013.
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.
Links:
@InCollection{SEfSAS2-VandV,
AUTHOR = {Tamura, Gabriel and Villegas, Norha M. and M\"{u}ller, Hausi and Sousa, Jo\~{a}oPedro and Becker, Basil and Karsai, Gabor and Mankovskii, Serge and Pezz\`{e}, 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\'{e}rio and Giese, Holger and M\"{u}ller, Hausi 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.}
}Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser