Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

A Quantitative Safety Assessment Methodology for Safety-Critical Programmable Electronic Systems Using Fault Injection

Journal Article
2009-01-0760
ISSN: 1946-4614, e-ISSN: 1946-4622
DOI: https://doi.org/10.4271/2009-01-0760
Published April 20, 2009 by SAE International in United States
A Quantitative Safety Assessment Methodology for Safety-Critical Programmable Electronic Systems Using Fault Injection
Sector:
Citation: Reynolds, M., Elks, C., George, N., Sekhar, M. et al., "A Quantitative Safety Assessment Methodology for Safety-Critical Programmable Electronic Systems Using Fault Injection," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 2(1):287-300, 2009, https://doi.org/10.4271/2009-01-0760.
Language: English

References

  1. Isermann R. Schwarz R. Stolzl S. “Fault-tolerant drive-by-wire systems,” Control Systems Magazine, IEEE 22 5 64 81 Oct 2002
  2. Smith D. DeLong T. Johnson B.W. “A Safety Assessment Methodology for Complex Safety Critical Hardware/Software Systems” International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human Machine Interface Technology Washington, DC November, 2000
  3. Laprie J.-C “Dependability: Basic Concepts and Terminology” Dependable Computing and Fault-Tolerant Systems Series 5 Springer-Verlag 1992
  4. Johnson B.W. “Design and Analysis of Fault-Tolerant Digital Systems” Addison Wesley June 1989
  5. Arlat A.C. Crouzet Y. Laprie J.-C. Powel D. “Fault Injection and Dependability Evaluation of Fault-Tolerant Systems” IEEE Transactions on Computers 42 8 913 923 August 1993
  6. Yu Y. Johnson B.W. “Coverage Oriented Dependability Analysis for Safety-Critical Computer Systems” International System Safety Conference (ISSC) August 2004
  7. Dunn W.R. Practical Design Of Safety-Critical Computer Systems Reliability Press 2002
  8. Aldemir T. Stovsky M.P. Kirschenbaum J. Mandelli D. Bucci P. Mangan L.A. Miller D.W. Fentiman A.W. Ekici E. Guarro S. Johnson B.W. Elks C.R. Arndt S.A. “Reliability Modeling of Digital Instrumentation and Control Systems for Nuclear Reactor Probabilistic Risk Assessment,” NUREG/CR-6942 May 2006
  9. Young S.D. Elks C.R. Graham R.L. “Performance Evaluation of a Byzantine Resilient Fault-Tolerant Processor” Proceedings of the 1989 AIAA Computers in Aerospace 7 conference 2 623 632 October 2-5, 1989
  10. DeLong T. Johnson B.W. “Numerical Safety Evaluation Process for Safety-Critical Systems” UVA Technical Report UVA-CSCS-NSE-001 August 2003
  11. Delong T. Smith D.T. Johnson B.W. “Dependability Metrics to Assess Safety-Critical Systems” IEEE Transactions On Reliability 54 3 September 2005
  12. Cutright E. Pescosolido M. Johnson B.W. “Statistical Model for Fault Coverage Estimation” Technical Report UVA-CSCS-NSE-003 August 2003
  13. Cutright E. DeLong T. Johnson B.W. “Generic Processor Fault Model” UVA Technical Report UVA-CSCS-NSE-004 August 2003
  14. Delong T. Johnson B.W. “Numerical Safety Evaluation Process for Safety-Critical Systems” UVA Technical Report UVA-CSCS-NSE-001 August 2003
  15. Smith D. Johnson B.W. Profeta J. “System Dependability Evaluation via a Fault List Generation Algorithm,” IEEE Transactions on Computers 45 8 1996 974 979
  16. Sekhar M. “Pre-Fault Injection Analyses for Efficient Fault Injection,” Masters Thesis University of Virginia, School of Engineering and Applied Science August 2008
  17. Smith D.T. Johnson B.W. Andrianos N. Profeta J.A. “A Variance Reduction Technique Using Fault Expansion for Fault Coverage Estimation” IEEE Transactions on Reliability 46 3 366 374 September 1997
  18. George N.J. “Robust Fault Injection Through In-Circuit Emulation” Masters Thesis University of Virginia, School of Engineering and Applied Science August 2007
  19. Benso A. Prinetto P. “Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation” Kluwer Academic Publishers 2003
  20. Madeira H. Rela M. Moreira F. Silva J.G. “RIFLE: A General Purpose Pin-level Fault Injector” Proc. 1st European Dependable Computing Conf. (EDCC-1) Berlin, Germany 199 216 Springer-Verlag 1994
  21. Choi G.S. Iyer R.K. “FOCUS: An Experimental Environment for Fault Sensitivity Analysis” IEEE Transactions on Computers 41 12 1515 1526 December 1992
  22. Carreira J. Madeira H. Silva J. “Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers” IEEE Transactions on Software Engineering 24 2 125 136 Feb. 1998
  23. Benso A. Prinetto P. Rebaudengo M. Reorda M. “EXFI: A Low-cost Fault Injection System for Embedded Microprocessor-Based Boards” ACM Trans. On Design Automation of Electronic Systems 3 4 October 1998 626 634
  24. Sieh V. Tschäche O. Balbach F. “VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions” Proc. 27th Intl. Symposium on Fault-Tolerant Computing (FTCS-27) 32 36 Seattle, WA, USA June 1997
  25. Bastein B. “A Technique for Performing Fault Injection in System Level Simulations for Dependability Assessment” Masters Thesis University of Virginia, School of Engineering and Applied Science May 2004
  26. Folkesson P. Svensson S. Karlsson J. “A Comparison of Simulation Based and Scan Chain Implemented Fault Injection” Proc. 28th Int. Symp. on Fault-Tolerant Computing (FTCS-28) 284 293 Munich, Germany June 1998
  27. NEXUS 5001 Forum for Global Embedded Processor Debug Interface www.nexus5001.org
  28. DeLong T. “A performance and safety analysis of a microprocessor-based embedded control system using VHDL” Master Science Thesis University of Virginia 1994
  29. Johnson B.W. “ML2-QS-020, Numerical Safety Evaluation Process for the MICROLOK II” 2000
  30. George N. Elks C.R. Reynolds M.A. Sekhar M. Johnson B.W. “Robust Fault Injection for Quantitative Reliability and Risk Assessment: A Demonstration on a Benchmark Digital I&C System” International Probabilistic Safety Assessment Conference Hong Kong China May 2008

Cited By

Recommended Content

Technical Paper OEMs and Suppliers Must Cooperate on Timing Analysis when Integrating FlexRay-Based Chassis Systems
Technical Paper Next Generation of Fail-Safe Architectures and Components
Aerospace Standard Handbook for the SAE AS4075 High Speed Ring Bus Standard