Mostrar el registro sencillo del ítem
STAN: analysis of data traces using an event-driven interval temporal logic
dc.contributor.author | Panizo-Jaime, Laura | |
dc.contributor.author | Gallardo-Melgarejo, María del Mar | |
dc.date.accessioned | 2023-04-21T12:53:55Z | |
dc.date.available | 2023-04-21T12:53:55Z | |
dc.date.created | 2023-04-21 | |
dc.date.issued | 2022-11-30 | |
dc.identifier.citation | Panizo, L., & Gallardo, M. D. M. (2023). STAn: analysis of data traces using an event-driven interval temporal logic. Automated Software Engineering, 30(1), 1-47. | es_ES |
dc.identifier.uri | https://hdl.handle.net/10630/26366 | |
dc.description.abstract | The increasing integration of systems into people’s daily routines, especially smartphones, requires ensuring correctness of their functionality and even some performance requirements. Sometimes, we can only observe the interaction of the system (e.g. the smartphone) with its environment at certain time points; that is, we only have access to the data traces produced due to this interaction. This paper presents the tool STAn, which performs runtime verification on data traces that combine timestamped discrete events and sampled real-valued magnitudes. STAn uses the Spin model checker as the underlying execution engine, and analyzes traces against properties described in the so-called event-driven interval temporal logic (eLTL) by transforming each eLTL formula into a network of concurrent automata, written in Promela, that monitors the trace. We present two different transformations for online and offline monitoring, respectively. Then, Spin explores the state space of the automata network and the trace to return a verdict about the corresponding property. We use the proposal to analyze data traces obtained during mobile application testing in different network scenarios. | es_ES |
dc.description.sponsorship | Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. // Funding for open access charge: Universidad de Málaga / CBUA | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | Springer Nature | es_ES |
dc.rights | info:eu-repo/semantics/openAccess | es_ES |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | * |
dc.subject | Informática - Aplicaciones | es_ES |
dc.subject | Teléfono | es_ES |
dc.subject | Teledetección | es_ES |
dc.subject | Soporte lógico - Verificación | es_ES |
dc.subject.other | Interval temporal logic | es_ES |
dc.subject.other | Runtime verification | es_ES |
dc.subject.other | Trace analysis | es_ES |
dc.title | STAN: analysis of data traces using an event-driven interval temporal logic | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.centro | E.T.S.I. Telecomunicación | es_ES |
dc.identifier.doi | 10.1007/s10515-022-00367-5 | |
dc.rights.cc | Atribución 4.0 Internacional | * |
dc.type.hasVersion | info:eu-repo/semantics/publishedVersion | es_ES |