Characterizing fault propagation in safety-critical processor designs
Visualitza/Obre
Cita com:
hdl:2117/87264
Tipus de documentText en actes de congrés
Data publicació2015
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
ProjecteHIPEAC - High Performance and Embedded Architecture and Compilation (EC-FP7-287759)
RYC-2013-14717 (MINECO-RYC-2013-14717)
RYC-2013-14717 (MINECO-RYC-2013-14717)
Abstract
Achieving reduced time-to-market in modern electronic designs targeting safety critical applications is becoming very challenging, as these designs need to go through a certification step that introduces a non-negligible overhead in the verification and validation process. To cope with this challenge, safety-critical systems industry is demanding new tools and methodologies allowing quick and cost-effective means for robustness verification. Microarchitectural simulators have been widely used to test reliability properties in different domains but their use in the process of robustness verification remains yet to be validated against other accepted methods such as RTL or gate-level simulation. In this paper we perform fault injections in an RTL model of a processor to characterize fault propagation. The results and conclusions of this characterization will serve to devise to what extent fault injection methodologies for robustness verification using microarchitectural simulators can be employed.
CitacióEspinosa, Jaime; Hernandez, Carles; Abella, Jaume. Characterizing fault propagation in safety-critical processor designs. A: 21st International On-Line Testing Symposium (IOLTS), 6-8 July 2015, Halkidiki. "2015 IEEE 21st International On-Line Testing Symposium (IOLTS)". Institute of Electrical and Electronics Engineers (IEEE), 2015, p. 144-149.
ISSN1942-9398
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
characterizing fault propagation.pdf | 675,3Kb | Visualitza/Obre |