Mostrar el registro sencillo del ítem

dc.contributor.authorPanizo-Jaime, Laura 
dc.contributor.authorGallardo-Melgarejo, María del Mar 
dc.date.accessioned2023-04-21T12:53:55Z
dc.date.available2023-04-21T12:53:55Z
dc.date.created2023-04-21
dc.date.issued2022-11-30
dc.identifier.citationPanizo, 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.urihttps://hdl.handle.net/10630/26366
dc.description.abstractThe 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.sponsorshipOpen Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. // Funding for open access charge: Universidad de Málaga / CBUAes_ES
dc.language.isoenges_ES
dc.publisherSpringer Naturees_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/*
dc.subjectInformática - Aplicacioneses_ES
dc.subjectTeléfonoes_ES
dc.subjectTeledetecciónes_ES
dc.subjectSoporte lógico - Verificaciónes_ES
dc.subject.otherInterval temporal logices_ES
dc.subject.otherRuntime verificationes_ES
dc.subject.otherTrace analysises_ES
dc.titleSTAN: analysis of data traces using an event-driven interval temporal logices_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.centroE.T.S.I. Telecomunicaciónes_ES
dc.identifier.doi10.1007/s10515-022-00367-5
dc.rights.ccAtribución 4.0 Internacional*
dc.type.hasVersioninfo:eu-repo/semantics/publishedVersiones_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Atribución 4.0 Internacional
Excepto si se señala otra cosa, la licencia del ítem se describe como Atribución 4.0 Internacional