Run-time validation framework

Roshan Kotian, Stefano Galzarano, Claudio Bacchiani, Aly A. Syed, Premysl Sucha, Roman Vaclavik, Andrei Pruteanu

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Samenvatting

Testing large-scale complex systems at runtime is of paramount importance. This is particularly true for dynamical systems, such as distributed adaptive network embedded systems (ANES), which exhibit adaptive capabilities aiming at autonomously reconfiguring and adjusting their behavior based on the changing environmental conditions. In such cases, it is not feasible, during the development
stages, to anticipate all the possible operating conditions that the system may face in a real environment. This is because some information about the execution context and the system itself can be available only once the system has been deployed. Thus, in order to correctly assess the effectiveness, efficiency and robustness of ANES, it is required to verify that the system correctly adopts the proper adaptation mechanisms in response to the context changes as well as to check the quality of such adaptations. The focus of the chapter is to discussion about the needs for employing runtime verification and validation of ANES and the main challenges and requirements for its implementation. Moreover, it presents a reference framework that supports developers in testing adaptive systems at runtime. One of its key feature is the capability to emulate certain realistic conditions through synthetic data, which
is useful to check the system’s behavior under specific and controlled situations.
Originele taal-2Engels
TitelRuntime Reconfiguration in Networked Embedded Systems
SubtitelDesign and Testing Practices
RedacteurenZ. Papp, G. Exarchakos
Plaats van productieBerlin
UitgeverijSpringer
Pagina's93-112
Aantal pagina's19
ISBN van elektronische versie978-981-10-0715-6
ISBN van geprinte versie978-981-10-0714-9
DOI's
StatusGepubliceerd - 2016

Publicatie series

NaamInternet of Things
UitgeverijSpringer
ISSN van elektronische versie2199-1073

Vingerafdruk Duik in de onderzoeksthema's van 'Run-time validation framework'. Samen vormen ze een unieke vingerafdruk.

Citeer dit