Mostrar el registro sencillo del ítem
dc.contributor.author | Espinosa García, Jaime | es_ES |
dc.contributor.author | Andrés Martínez, David de | es_ES |
dc.contributor.author | Ruiz García, Juan Carlos | es_ES |
dc.contributor.author | Hernández Luz, Carles | es_ES |
dc.contributor.author | Abella, Jaume | es_ES |
dc.date.accessioned | 2016-06-14T07:40:56Z | |
dc.date.available | 2016-06-14T07:40:56Z | |
dc.date.issued | 2015-09 | |
dc.identifier.issn | 1636-9874 | |
dc.identifier.issn | 979-10-92279-09-2 | |
dc.identifier.uri | http://hdl.handle.net/10251/65831 | |
dc.description | © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | es_ES |
dc.description.abstract | Safety-critical applications are required today to meet more and more stringent standards than ever. In the need of reducing the costs associated with the certification step, early robustness evaluation can provide valuable information, as long as it is fast and accurate enough. Microarchitectural simulators have been employed for testing reliability properties in several domains in the past, but their use in the process of robustness verification of safety critical systems has not been validated yet, as opposed to RTL or gate-level simulations. In the present work, we propose a methodology to improve the accuracy of faultinjection results when targeting robustness verification, by using microarchitectural simulators and virtual prototypes for an early estimation of deviations with respect to the certification standards. | es_ES |
dc.description.sponsorship | The research leading to these results has received funding from the Ministry of Science and Technology of Spain under contract TIN2012-34557 and HiPEAC. Likewise, Jaume Abella is partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. | es_ES |
dc.format.extent | 4 | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | IEEE Conference Publications | es_ES |
dc.relation.ispartof | Specification and Design Languages (FDL) | |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject.classification | INGENIERIA DE SISTEMAS Y AUTOMATICA | es_ES |
dc.subject.classification | ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES | es_ES |
dc.title | Towards Certification-aware Fault Injection Methodologies Using Virtual Prototypes | es_ES |
dc.type | Comunicación en congreso | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MICINN//TIN2012-34557/ES/COMPUTACION DE ALTAS PRESTACIONES VI/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/EC/H2020/871174/EU/High Performance Embedded Architecture and Compilation/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//RYC-2013-14717/ES/RYC-2013-14717/ | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Informática de Sistemas y Computadores - Departament d'Informàtica de Sistemes i Computadors | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Ingeniería de Sistemas y Automática - Departament d'Enginyeria de Sistemes i Automàtica | es_ES |
dc.description.bibliographicCitation | Espinosa García, J.; Andrés Martínez, DD.; Ruiz García, JC.; Hernández Luz, C.; Abella, J. (2015). Towards Certification-aware Fault Injection Methodologies Using Virtual Prototypes. IEEE Conference Publications. http://hdl.handle.net/10251/65831 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.conferencename | Forum on specification & Design Languages (FDL 2015) | es_ES |
dc.relation.conferencedate | September 14-16, 2015 | es_ES |
dc.relation.conferenceplace | Barcelona, Spain | es_ES |
dc.relation.publisherversion | http://ecsi.org/fdl2015/proceedings | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.relation.senia | 299131 | es_ES |
dc.contributor.funder | Ministerio de Ciencia e Innovación | es_ES |
dc.contributor.funder | European Network on High-performance Embedded Architecture and Compilation | es_ES |
dc.contributor.funder | Ministerio de Economía y Competitividad | es_ES |
dc.contributor.funder | European Commission | es_ES |