2026-09-07T11:36:05Zhttps://ebiltegia.mondragon.edu/oai/request

oai:ebiltegia.mondragon.edu:20.500.11984/146572026-09-06T06:15:44Zcom_20.500.11984_1143com_20.500.11984_14090col_20.500.11984_1148

00925njm 22002777a 4500 dc da Silva, Jorge author Illarramendi, Miren author Iriarte, Asier author 2023 The increasing complexity of current Software Systems is generating the urge to find new ways to check the correct functioning of models during runtime. Runtime verification helps ensure that a system is working as expected even after being deployed, essential when dealing with systems working in critical or autonomous scenarios. This paper presents an improvement to an existing tool, named CRESCO, linking it with another tool to enable performing periodical verification based on event logs. These logs help determine whether the functioning of the system is inadequate or not after the last periodic check. If the system is determined to be working incorrectly, new code files are automatically generated from the traces of the log file, so they can be replaced when a faulty scenario is to occur. Thanks to this improvement, the CRESCO components are able to evaluate their correctness and adapt themselves at runtime, making the system more robust against unforeseen faulty scenarios. 978-303140952-3 https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=174287 https://hdl.handle.net/20.500.11984/14657 Runtime Adaptation Process Mining Runtime fault detection Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach