Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/88476

Towards Certification-aware Fault Injection Methodologies Using Virtual Prototypes
Espinosa, Jaime; de Andrés, David; Ruiz, Juan-Carlos; Hernandez, Carles; Abella, Jaume
Barcelona Supercomputing Center
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.
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.
Àrees temàtiques de la UPC::Enginyeria electrònica
Virtual reality
Safety-Critical Systems Symposium
Simulation, Computer
Safety-critical applications
Microarchitectural simulators
Fault Injection Methodologies
Realitat virtual
Simulació per ordinador
info:eu-repo/semantics/submittedVersion
info:eu-repo/semantics/conferenceObject
IEEE Conference Publications
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Espinosa, Jaime; Hernandez, Carles; Abella, Jaume; de Andres, David; Ruiz, Juan C.
Espinosa, Jaime; Hernandez, Carles; Abella, Jaume
Cazorla, Francisco J.; Abella, Jaume; Andersson, Jan; Vardanega, Tullio; Vatrinet, Francis; Bate, Iain; Broster, Ian; Azkarate-askasua, Mikel; Wartel, Franck; Cucu, Liliana; Cros, Fabrice; Farrall, Glenn; Gogonel, Adriana; Gianarro, Andrea; Triquet, Benoit; Hernandez, Carles; Lo, Code; Maxim, Cristian; Morales, David; Quinones, Eduardo; Mezzetti, Enrico; Kosmidis, Leonidas; Aguirre, Irune; Fernandez, Mikel; Slijepcevic, Mladen; Conmy, Philippa; Talaboulma, Walid
Trilla, David; Hernandez, Carles; Abella, Jaume; Cazorla, Francisco J.