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

Autor: Mauro Pezzè, Basil Becker, Norha M. Villegas, Kenny Wong, Gabor Karsai, Hausi A. Müller, Ladan Tahvildari, Wilhelm Schäfer, Gabriel Tamura, João Pedro Sousa, Serge Mankovskii
Přispěvatelé: Adaptive Distributed Applications and Middleware (ADAM), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Rigi Research Group (RIGI), Department of Computer Science/University of Victoria, Department of Computer Science [Fairfax] (Volgenau School of Engineering), George Mason University [Fairfax], Hasso Plattner Institute for Software Systems Engineering (HPI), Hasso Plattner Institute [Potsdam, Germany], Faculty of Informatics [Lugano], Università della Svizzera italiana = University of Italian Switzerland (USI), Vanderbilt University School of Engineering [Nashville] (VUSE), CA Inc., C-LAB [Paderborn], University of Paderborn, Department of Electrical and Computer Engineering [Waterloo] (ECE), University of Waterloo [Waterloo], Department of Computing Science [Edmonton], University of Alberta, de Lemos, Rogerio and Giese, Holger and Müller, Hausi and Shaw, Mary, Dagstuhl Seminar 10431 participants
Rok vydání: 2013
Předmět:
Automatización y sistemas de control
Computer science
business.industry
Runtime verification
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification
Software development
020207 software engineering
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
02 engineering and technology
Sistemas de software
Automation Command and control system
self-adaptive software systems properties
Validation rule
Software sizing
Software construction
0202 electrical engineering
electronic engineering
information engineering
020201 artificial intelligence & image processing
Usuarios
Dynamic adaptation verification and validation
self-adaptive software systems verification and validation
Software system
Software verification and validation
Software engineering
business
Software verification
Zdroj: Software Engineering for Self-Adaptive Systems II ISBN: 9783642358128
Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems 2
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
DOI: 10.1007/978-3-642-35813-5_5
Popis: International audience; 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.
Databáze: OpenAIRE
Externí odkaz: