Simple record

dc.contributor.authorValle Entrena, Pablo
dc.contributor.authorArrieta, Aitor
dc.date.accessioned2022-11-17T09:40:09Z
dc.date.available2022-11-17T09:40:09Z
dc.date.issued2022
dc.identifier.isbn978-1-6654-3786-8en
dc.identifier.otherhttps://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=167568en
dc.identifier.urihttps://hdl.handle.net/20.500.11984/5848
dc.description.abstractCyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique is expensive because complex mathematical models are used to model the physical part of CPSs. On the other hand, test cases of CPSs are usually formed by long test inputs that aim at mimicking real-world scenarios. As a result, when a failure is exhibited, it is highly important to isolate the failure-inducing inputs to provide the developers with the minimal test input. This allows reducing debugging costs by (1) reproducing the failure in the minimal time and (2) reducing the test coverage of the system, making the fault localization easier. In this paper we adapt the well-known delta debugging algorithm to isolate the failure-inducing inputs of CPSs modeled in Simulink. By means of three Simulink models, we analyzed whether Delta Debugging is effective enough to isolate failure-inducing inputs in CPSs.en
dc.description.sponsorshipFundación BBVAes
dc.language.isoengen
dc.publisherIEEEen
dc.rights© 2022 IEEEen
dc.subjectLocation awarenessen
dc.subjectAnalytical modelsen
dc.subjectAdaptation modelsen
dc.subjectCostsen
dc.subjectSoftware packagesen
dc.subjectsoftware algorithmsen
dc.subjectDebuggingen
dc.titleTowards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?en
dcterms.accessRightshttp://purl.org/coar/access_right/c_f1cfen
dcterms.sourceIEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)en
local.contributor.groupIngeniería del software y sistemases
local.description.peerreviewedtrueen
local.description.publicationfirstpage549en
local.description.publicationlastpage553en
local.identifier.doihttps://doi.org/10.1109/SANER53432.2022.00072en
local.relation.projectIDinfo:eu-repo/grantAgreement/BBVA/Becas Leonardo a Investigadores y Creadores Culturales. Tecnologías de la Información y la Comunicación 2021//ES/Depurando y Reparando Sistemas Ciber-Físico Configurables/DRAGONen
local.embargo.enddate2024-07-31
local.source.detailsHonolulu, 15-18 March 2022. Pp. 549-553. IEEE, 2022en
oaire.format.mimetypeapplication/pdf
oaire.file$DSPACE\assetstore
oaire.resourceTypehttp://purl.org/coar/resource_type/c_c94fen
oaire.versionhttp://purl.org/coar/version/c_ab4af688f83e57aaen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Simple record