Run-time validation framework

Autor: Kotian, Roshan, Galzarano, Stefano, Bacchiani, Claudio, Syed, Aly A., Sucha, Premysl, Vaclavik, Roman, Pruteanu, Andrei, Papp, Z., Exarchakos, G.
Přispěvatelé: Electro-Optical Communication
Jazyk: angličtina
Rok vydání: 2016
Předmět:
Zdroj: Internet of Things ISBN: 9789811007149
Runtime Reconfiguration in Networked Embedded Systems: Design and Testing Practices, 93-112
STARTPAGE=93;ENDPAGE=112;TITLE=Runtime Reconfiguration in Networked Embedded Systems
ISSN: 2199-1073
DOI: 10.1007/978-981-10-0715-6_4
Popis: 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 developmentstages, 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, whichis useful to check the system’s behavior under specific and controlled situations.
Databáze: OpenAIRE
Externí odkaz: