Abstract
The cost of efficient fault-effect analysis on gate-level (GL) and register-transfer level models is increasing due to the rising complexity of safety-critical systems on chip (SoCs). Virtual prototypes (VPs) based on transaction-level models are employed to speed-up safety verification. However, VP structures correlate poorly to GL models. This leads to the injection of pseudo-faults into VPs and to the development of suboptimal safety mechanisms for the SoC. To mitigate these drawbacks, in this paper, we propose a safety-verification flow for VPs to maintain 100 % correlation to GL models and to ensure the injection of realistic faults into VPs. Our approach’s key aspects are: matching points across abstraction levels and selective abstraction of GL functionality using compiled-code simulation. Measurements show two orders of magnitude speed-up over RTL models and three orders of magnitude over GL models. Moreover, the speed-up increases with design size.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
ISO, CD. 26262, Road Vehicles-Functional Safety. International Standard ISO/FDIS, 26262 (2011)
Open SystemC Initiative et al.: IEEE Standard SystemC Language Reference Manual. IEEE Computer Society (2006)
Oetjens, J.-H., Bringmann, O., Chaari, M., Ecker, W., Tabacaru, B.-A., et al.: Safetyevaluation of automotive electronics using virtual prototypes: state of the art and research challenges. In: 51st ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1–6. IEEE (2014)
Baranowski, R., Hatami, N., Kochte, M.A., Prinetto, P., et al.: Efficient multi-level fault simulation of HW/SW systems for structural faults. Sci. Chin. Inf. Sci. 54, 784–1796 (2011)
Tabacaru, B.-A., Chaari, M., Ecker, W., Kruse, T., Novello, C.: Fault-effect analysis on multiple abstraction levels in hardware modeling. In: DVCon, USA, pp. 1–12 (2016)
Amyeen, M.E., Nayak, D., Venkataraman, S.: Improving precision using mixed-level fault diagnosis In: IEEE International Test Conference, ITC 2006, pp. 1–10. IEEE (2006)
Espinosa, J., Hernandez, C., Abella, J.: Characterizing fault propagation in safety-critical processor designs. In: IEEE 21st International On-Line Testing Symposium (IOLTS), pp. 144–149. IEEE (2015)
STMicroelectronics: 32-bit Power Architecture Microcontroller for Automotive SIL3/ASIL-D Chassis and Safety Applications. SPC56 Datasheet. Rev 11 (2014)
Infineon Technologies, A.G.: AURIX-TriCore Datasheet. Accessed 22 Feb 2016
Leveugle, R., Cimonnet, D., Ammari, A.: System-level dependability analysis with RT-level fault injection accuracy. In: Proceedings of the 19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2004, pp. 451–458. IEEE (2004)
Schwarz, M., Chaari, M., Tabacaru, B.-A., Ecker, W.: A meta model based approach for semantic fault modeling on multiple abstraction levels. In: DVCon, Europe (2015)
Vidrascu, I.-D.: Implementation of a safety verification environment (SVE) based on fault injection. Master’s thesis, Fachhochschule Kärnten, Klagenfurt am Wörthersee, Austria (2015)
Zarandi, H.R., Miremadi, S.G., Ejlali, A.: Dependability analysis using a fault injection tool based on synthesizability of HDL models. In: Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pp. 485–492. IEEE (2003)
Brat, G., Bushnell, D., Davies, M., Giannakopoulou, D., Howar, F., Kahsai, T.: Verifying the safety of a flight-critical system. In: Bjørner, N., Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 308–324. Springer, Heidelberg (2015)
Sharma, V.C., Haran, A., Rakamaric, Z., Gopalakrishnan, G.: Towards formal approaches to system resilience. In: IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 41–50. IEEE (2013)
Brinkmann, R.: OneSpin CEO cites 8 “insufficiencies" in Jim Hogan’s Formal Guide. Accessed 8 Mar 2016
Busch, H.: An automated formal verification flow for safety registers. In: DVCon, Europe (2015)
Kastensmidt, F., Rech, P.: FPGAs and Parallel Architectures for Aerospace Applications: Soft Errors and Fault-Tolerant Design. Springer, New York (2015)
Bernardeschi, C., Cassano, L., Domenici, A.: SRAM-based FPGA systems for safety-critical applications: a survey on design standards and proposed methodologies. J. Comput. Sci. Technol. 30(2), 373–390 (2015)
Fang, B., Pattabiraman, K., Ripeanu, M., Gurumurthi, S.: GPU-Qin: a methodology for evaluating the error resilience of GPGPU applications. In: 2014 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pp. 221–230. IEEE (2014)
Chang, K.-J., Chen, Y.-Y.: System-level fault injection in SystemC design platform. In: Proceedings of 8th International Symposium on Advanced Intelligent Systems (ISIS). Citeseer (2007)
Kochte, M., Zoellin, C.G., Baranowski, R., Imhof, M.E., Wunderlich, H.-J., Hatami, N., et al.: Efficient simulation of structural faults for the reliability evaluation at system-level. In: 2010 19th IEEE Asian Test Symposium (ATS), pp. 3–8. IEEE (2010)
Santos, M.B., Teixeira, J.P.: Defect-oriented mixed-level fault simulation of digital systems-on-a-chip using HDL. In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition. IEEE (1999)
Cho, H., Mirkhani, S., Cher, C.-Y., Abraham, J.A., Mitra, S.: Quantitative evaluation of soft error injection techniques for robust system design. In: 50th ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1–10. IEEE (2013)
Dodd, P.E., Shaneyfelt, M.R., Felix, J.A., Schwank, J.R.: Production and propagation of single-event transients in high-speed digital logic ICs. IEEE Trans. Nucl. Sci. 51(6), 3278–3284 (2004)
Acknowledgement
This work is partially supported by the German Federal Ministry of Education and Research (BMBF) in the project EffektiV (contract no. 01IS13022).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Tabacaru, BA., Chaari, M., Ecker, W., Kruse, T., Novello, C. (2016). Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2016. Lecture Notes in Computer Science(), vol 9923. Springer, Cham. https://doi.org/10.1007/978-3-319-45480-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-45480-1_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-45479-5
Online ISBN: 978-3-319-45480-1
eBook Packages: Computer ScienceComputer Science (R0)