Towards practical runtime verification and validation of self-adaptive software systems

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,...

Full description

Autores:
Tamura Morimitsu, Gabriel
Wong, Kwok Yee Michael
Tahvildari, Ladan
Schäfer, Wilhelm J.
Pezzè, Mauro
Mankovskii, Serge
Karsai, Gábor
Becker, Basil
Sousa, João Pedro
Müller, Hausi A.
Villegas Machado, Norha Milena
Tipo de recurso:
http://purl.org/coar/resource_type/c_c94f
Fecha de publicación:
2010
Institución:
Universidad ICESI
Repositorio:
Repositorio ICESI
Idioma:
eng
OAI Identifier:
oai:repository.icesi.edu.co:10906/81961
Acceso en línea:
http://dx.doi.org/10.1007/978-3-642-35813-5_5
http://hdl.handle.net/10906/81961
Palabra clave:
Sistemas de software
Usuarios
Automatización y sistemas de control
Automation Command and control system
Rights
openAccess
License
https://creativecommons.org/licenses/by-nc-nd/4.0/
id ICESI2_cc2f016f19e54511ead4cda7d2881483
oai_identifier_str oai:repository.icesi.edu.co:10906/81961
network_acronym_str ICESI2
network_name_str Repositorio ICESI
repository_id_str
dc.title.spa.fl_str_mv Towards practical runtime verification and validation of self-adaptive software systems
title Towards practical runtime verification and validation of self-adaptive software systems
spellingShingle Towards practical runtime verification and validation of self-adaptive software systems
Sistemas de software
Usuarios
Automatización y sistemas de control
Automation Command and control system
title_short Towards practical runtime verification and validation of self-adaptive software systems
title_full Towards practical runtime verification and validation of self-adaptive software systems
title_fullStr Towards practical runtime verification and validation of self-adaptive software systems
title_full_unstemmed Towards practical runtime verification and validation of self-adaptive software systems
title_sort Towards practical runtime verification and validation of self-adaptive software systems
dc.creator.fl_str_mv Tamura Morimitsu, Gabriel
Wong, Kwok Yee Michael
Tahvildari, Ladan
Schäfer, Wilhelm J.
Pezzè, Mauro
Mankovskii, Serge
Karsai, Gábor
Becker, Basil
Sousa, João Pedro
Müller, Hausi A.
Villegas Machado, Norha Milena
dc.contributor.author.spa.fl_str_mv Tamura Morimitsu, Gabriel
Wong, Kwok Yee Michael
Tahvildari, Ladan
Schäfer, Wilhelm J.
Pezzè, Mauro
Mankovskii, Serge
Karsai, Gábor
Becker, Basil
Sousa, João Pedro
Müller, Hausi A.
Villegas Machado, Norha Milena
dc.subject.spa.fl_str_mv Sistemas de software
Usuarios
Automatización y sistemas de control
Automation Command and control system
topic Sistemas de software
Usuarios
Automatización y sistemas de control
Automation Command and control system
description 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.
publishDate 2010
dc.date.issued.none.fl_str_mv 2010-10-29
dc.date.accessioned.none.fl_str_mv 2017-08-23T05:11:32Z
dc.date.available.none.fl_str_mv 2017-08-23T05:11:32Z
dc.type.spa.fl_str_mv info:eu-repo/semantics/conferenceObject
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_c94f
dc.type.local.spa.fl_str_mv Documento de conferencia
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coarversion.none.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
format http://purl.org/coar/resource_type/c_c94f
status_str publishedVersion
dc.identifier.govdoc.none.fl_str_mv http://dx.doi.org/10.1007/978-3-642-35813-5_5
dc.identifier.isbn.none.fl_str_mv 9783642358128
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/10906/81961
dc.identifier.instname.none.fl_str_mv instname: Universidad Icesi
dc.identifier.reponame.none.fl_str_mv reponame: Biblioteca Digital
dc.identifier.repourl.none.fl_str_mv repourl: https://repository.icesi.edu.co/
url http://dx.doi.org/10.1007/978-3-642-35813-5_5
http://hdl.handle.net/10906/81961
identifier_str_mv 9783642358128
instname: Universidad Icesi
reponame: Biblioteca Digital
repourl: https://repository.icesi.edu.co/
dc.language.iso.spa.fl_str_mv eng
language eng
dc.relation.ispartof.none.fl_str_mv International Seminar on Software Engineering for Self-Adaptive Systems I
dc.relation.ispartofseries.eng.fl_str_mv Lecture Notes in Computer Science
dc.rights.uri.none.fl_str_mv https://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.license.none.fl_str_mv Atribuci�n-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
dc.rights.coar.none.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/4.0/
Atribuci�n-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.spa.fl_str_mv 108-132 páginas
dc.format.medium.spa.fl_str_mv Digital
dc.coverage.spatial.spa.fl_str_mv Germany de Lat: 51 30 00 N degrees minutes Lat: 51.5000 decimal degrees Long: 010 30 00 E degrees minutes Long: 10.5000 decimal degrees
dc.publisher.spa.fl_str_mv Springer Verlag
dc.publisher.faculty.spa.fl_str_mv Facultad de Ingeniería
dc.publisher.program.spa.fl_str_mv Ingeniería Telemática
dc.publisher.department.spa.fl_str_mv Departamento Tecnologías de Información y Comunicaciones
dc.publisher.place.spa.fl_str_mv Germany
institution Universidad ICESI
bitstream.url.fl_str_mv http://repository.icesi.edu.co/biblioteca_digital/bitstream/10906/81961/3/tamura_towards_practical_2013.pdf
http://repository.icesi.edu.co/biblioteca_digital/bitstream/10906/81961/2/license.txt
bitstream.checksum.fl_str_mv c3283fd6f11a9ff53f28ea564b88591c
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital - Universidad icesi
repository.mail.fl_str_mv cdcriollo@icesi.edu.co
_version_ 1814094876659154944
spelling Tamura Morimitsu, GabrielWong, Kwok Yee MichaelTahvildari, LadanSchäfer, Wilhelm J.Pezzè, MauroMankovskii, SergeKarsai, GáborBecker, BasilSousa, João PedroMüller, Hausi A.Villegas Machado, Norha Milenagtamura@icesi.edu.coGermany de Lat: 51 30 00 N degrees minutes Lat: 51.5000 decimal degrees Long: 010 30 00 E degrees minutes Long: 10.5000 decimal degrees2017-08-23T05:11:32Z2017-08-23T05:11:32Z2010-10-29http://dx.doi.org/10.1007/978-3-642-35813-5_59783642358128http://hdl.handle.net/10906/81961instname: Universidad Icesireponame: Biblioteca Digitalrepourl: https://repository.icesi.edu.co/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.108-132 páginasDigitalengSpringer VerlagFacultad de IngenieríaIngeniería TelemáticaDepartamento Tecnologías de Información y ComunicacionesGermanyInternational Seminar on Software Engineering for Self-Adaptive Systems ILecture Notes in Computer ScienceEL AUTOR, expresa que la obra objeto de la presente autorización es original y la elaboró sin quebrantar ni suplantar los derechos de autor de terceros, y de tal forma, la obra es de su exclusiva autoría y tiene la titularidad sobre éste. PARÁGRAFO: en caso de queja o acción por parte de un tercero referente a los derechos de autor sobre el artículo, folleto o libro en cuestión, EL AUTOR, asumirá la responsabilidad total, y saldrá en defensa de los derechos aquí autorizados; para todos los efectos, la Universidad Icesi actúa como un tercero de buena fe. Esta autorización, permite a la Universidad Icesi, de forma indefinida, para que en los términos establecidos en la Ley 23 de 1982, la Ley 44 de 1993, leyes y jurisprudencia vigente al respecto, haga publicación de este con fines educativos Todo persona que consulte ya sea la biblioteca o en medio electrónico podrá copiar apartes del texto citando siempre la fuentes, es decir el título del trabajo y el autor.https://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessAtribuci�n-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)http://purl.org/coar/access_right/c_abf2Sistemas de softwareUsuariosAutomatización y sistemas de controlAutomation Command and control systemTowards practical runtime verification and validation of self-adaptive software systemsinfo:eu-repo/semantics/conferenceObjecthttp://purl.org/coar/resource_type/c_c94fDocumento de conferenciainfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/version/c_970fb48d4fbd8a85Comunidad Universidad Icesi - Investigadores7475ORIGINALtamura_towards_practical_2013.pdftamura_towards_practical_2013.pdfapplication/pdf478206http://repository.icesi.edu.co/biblioteca_digital/bitstream/10906/81961/3/tamura_towards_practical_2013.pdfc3283fd6f11a9ff53f28ea564b88591cMD53LICENSElicense.txtlicense.txttext/plain1748http://repository.icesi.edu.co/biblioteca_digital/bitstream/10906/81961/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD5210906/81961oai:repository.icesi.edu.co:10906/819612018-10-29 14:27:42.942Biblioteca Digital - Universidad icesicdcriollo@icesi.edu.coTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=

Publicaciones similares