Listar por autor "07f53ce4c15cf456c8335e5e7cab8289"

Mostrando ítems 1-2 de 2

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems

Ayerdi, Jon; Iriarte, Asier; Valle Entrena, Pablo; Roman Txopitea, Ibai; Illarramendi, Miren; Arrieta, Aitor (ACM, 2024)

Autonomous driving systems (ADSs) are complex cyber-physical systems (CPSs) that must ensure safety even in uncertain conditions. Modern ADSs often employ deep neural networks (DNNs), which may not produce correct results ...
Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach

da Silva, Jorge; Illarramendi, Miren; Iriarte, Asier (Springer Nature, 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 ...