Mostrar el registro sencillo del ítem
dc.contributor.author
Biewer, Sebastian
dc.contributor.author
D'argenio, Pedro Ruben
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Hermanns, Holger
dc.date.available
2022-01-13T17:08:53Z
dc.date.issued
2021-07
dc.identifier.citation
Biewer, Sebastian; D'argenio, Pedro Ruben; Hermanns, Holger; Doping Tests for Cyber-physical Systems; Association for Computing Machinery; Acm Transactions On Modeling And Computer Simulation; 31; 3; 7-2021; 1-27
dc.identifier.issn
1049-3301
dc.identifier.uri
http://hdl.handle.net/11336/150027
dc.description.abstract
The software running in embedded or cyber-physical systems is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doing. Most malfunctionings of such systems are not intended by the manufacturer, but some are, which means these cannot be classified as bugs or security loopholes. The most prominent examples have become public in the diesel emissions scandal, where millions of cars were found to be equipped with software violating the law, altogether polluting the environment and putting human health at risk. The behaviour of the software embedded in these cars was intended by the manufacturer, but it was not in the interest of society, a phenomenon that has been called software doping. Due to the unavailability of a specification, the analysis of doped software is significantly different from that for buggy or insecure software and hence classical verification and testing techniques have to be adapted. The work presented in this article builds on existing definitions of software doping and lays the theoretical foundations for conducting software doping tests, so as to enable uncovering unethical manufacturers. The complex nature of software doping makes it very hard to effectuate doping tests in practice. We explain the main challenges and provide efficient solutions to realise doping tests despite this complexity.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Association for Computing Machinery
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
AUTOMOTIVE EXHAUST EMISSIONS
dc.subject
CYBER-PHYSICAL SYSTEMS
dc.subject
MODEL-BASED TESTING
dc.subject
SOFTWARE DOPING
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
Doping Tests for Cyber-physical Systems
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2022-01-06T14:55:15Z
dc.identifier.eissn
1558-1195
dc.journal.volume
31
dc.journal.number
3
dc.journal.pagination
1-27
dc.journal.pais
Estados Unidos
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Nueva York
dc.description.fil
Fil: Biewer, Sebastian. Universitat Saarland; Alemania
dc.description.fil
Fil: D'argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Universitat Saarland; Alemania. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina
dc.description.fil
Fil: Hermanns, Holger. Universitat Saarland; Alemania
dc.journal.title
Acm Transactions On Modeling And Computer Simulation
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://dl.acm.org/doi/10.1145/3449354
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1145/3449354
Archivos asociados