Design Guidelines for Reliability, Maintainability, and Software Quality

Reliability, maintainability, safety, and software quality have to be built into complex equipment and systems during the design and development phase. This has to be supported by analytical investigations (Chapters 2, 4, 6) as well as by design guidelines and tests (Chapters 5, 3, 7, 8). Developing design guidelines demands practical experience and engineering feeling. Adherence to such guidelines limits the influence of those aspects which can invalidate the models assumed for analytical investigations, and improve the inherent reliability, maintainability, and safety of both hardware and software. Each industry producing equipment and systems with high reliability (RAMS) requirements is aware of the necessity for such guidelines. This chapter gives a comprehensive list of design guidelines for reliability, maintainability (incl. human and safety aspects), and software quality of complex electronic and electromechanical equipment and systems, harmonized with industry's needs, in particular for military and space applications).

[1]  J. T. Yue,et al.  Simulations of CMOS circuit degradation due to hot-carrier effects , 1992, 30th Annual Proceedings Reliability Physics 1992.

[2]  Colin M. Maunder.  The board designer's guide to testable logic circuits , 1992 .

[3]  A. Birolini,et al.  Test and screening strategies for large memories , 1989, [1989] Proceedings of the 1st European Test Conference.

[4]  R. Munamarty,et al.  Popcorning: a failure mechanism in plastic-encapsulated microcircuits , 1995 .

[5]  Thomas W. Williams,et al.  VLSI Testing , 1984, Computer.

[6]  Norman F. Schneidewind,et al.  Reliability Modeling for Safety Critical Software , 1997, Ada-Europe.

[7]  Michael Pecht,et al.  A model for moisture induced corrosion failures in microelectronic packages , 1990 .

[8]  R. G. Bennetts,et al.  Design of testable logic circuits , 1984 .

[9]  J. Reiner,et al.  Latent gate oxide defects caused by CDM-ESD , 1995, Electrical Overstress/Electrostatic Discharge Symposium Proceedings.

[10]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[11]  Erich Kubalek,et al.  Fundamentals of electron beam testing of integrated circuits , 1983 .

[12]  Floyd W. Spencer,et al.  Statistical methods in accelerated life testing , 1988 .

[13]  Leon Lantz,et al.  Soft errors induced by alpha particles , 1996, IEEE Trans. Reliab..

[14]  Michael Pecht,et al.  Handbook of Electronic Package Design , 1991 .

[15]  K. Heiduschke.  The logarithmic strain space description , 1995 .

[16]  Eckhard Wolfgang,et al.  Electron beam testing , 1986 .

[17]  Gordon D. Robinson,et al.  Interconnect testing of boards with partial boundary scan , 1990, Proceedings. International Test Conference 1990.

[18]  G. R. Srinivasan.  Modeling the cosmic-ray-induced soft-error rate in integrated circuits: An overview , 1996, IBM J. Res. Dev..

[19]  B. Riccò,et al.  Simple and efficient modeling of EPROM writing , 1991 .

[20]  J. R. Shih,et al.  Using erase self-detrapped effect to eliminate the flash cell program/erase cycling V/sub th/ window close , 1999, 1999 IEEE International Reliability Physics Symposium Proceedings. 37th Annual (Cat. No.99CH36296).

[21]  B. De Salvo,et al.  A new physical model for NVM data-retention time-to-failure , 1999, 1999 IEEE International Reliability Physics Symposium Proceedings. 37th Annual (Cat. No.99CH36296).

[22]  Richard F. Powell.  Testing Active and Passive Electronic Components , 1987 .

[23]  Glenn D. Bergland,et al.  A Guided Tour of Program Design Methodologies , 1981, Computer.

[24]  John E. Mann.  Failure Analysis of Passive Devices , 1978, 16th International Reliability Physics Symposium.

[25]  Eugene R. Hnatek.  Integrated circuit quality and reliability , 1987 .

[26]  O. Zinke,et al.  Widerstände, Kondensatoren, Spulen und ihre Werkstoffe , 1965 .

[27]  K. Heiduschke,et al.  Properties of thin layers of Sn62Pb36Ag2 , 1995, Seventeenth IEEE/CPMT International Electronics Manufacturing Technology Symposium. 'Manufacturing Technologies - Present and Future'.

[28]  D. Frear.  The Mechanics of Solder Alloy Interconnects , 1993 .

[29]  M. D. Hansen.  Survey of available software-safety analysis techniques , 1989, Proceedings., Annual Reliability and Maintainability Symposium.

[30]  J. Lau,et al.  Thermal Fatigue Reliability of SMT Packages and Interconnections , 1987, 25th International Reliability Physics Symposium.

[31]  Parker,et al.  Design for Testability—A Survey , 1982, IEEE Transactions on Computers.

[32]  Wuchen Wu,et al.  Reliability testing and analysis of IGBT power semiconductor modules , 1995 .

[33]  Juin J. Liou,et al.  Electrostatic discharge in semiconductor devices: an overview , 1998, Proc. IEEE.

[34]  John D. Musa,et al.  Software reliability measurement , 1984, J. Syst. Softw..

[35]  Sy-Yen Kuo,et al.  Optimal release policy for hyper-geometric distribution software-reliability growth model , 1996, IEEE Trans. Reliab..

[36]  W. C. Kvaraceus,et al.  Principles and Practices , 2006 .

[37]  David Lorge Parnas,et al.  Evaluation of safety-critical software , 1990, CACM.

[38]  D. Stewart Peck,et al.  Comprehensive Model for Humidity Testing Correlation , 1986, IEEE International Reliability Physics Symposium.

[39]  Cheng T. Wang,et al.  Hot carrier design considerations for MOS devices and circuits , 1992 .

[40]  Colin M. Maunder.  A universal framework for managed built-in test , 1993, Proceedings of IEEE International Test Conference - (ITC).

[41]  D. Schmitt-Landsiedel,et al.  Dynamic degradation in MOSFET's. II. Application in the circuit environment , 1991 .

[42]  Joachim C. Reiner.  Latent gate oxide damages caused by CDM-ESD , 1996 .

[43]  M.-R. Lin,et al.  Hot carrier effects in nMOSFETs in 0.1 /spl mu/m CMOS technology , 1999, 1999 IEEE International Reliability Physics Symposium Proceedings. 37th Annual (Cat. No.99CH36296).

[44]  J. R. Gardner,et al.  The appropriateness of plastic encapsulated microcircuits in a specific wooden-round application , 1996, IEEE Trans. Reliab..

[45]  T. M. Khoshgoftaar,et al.  Fault severity in models of fault-correction activity , 1995 .

[46]  Paul S. F. Yip,et al.  Estimating the number of faults: efficiency of removal, recapture, and seeding , 1999 .

[47]  J. F. Pawling.  Surface mounted assemblies , 1987 .

[48]  Bev Littlewood,et al.  Validation of ultrahigh dependability for software-based systems , 1993, CACM.

[49]  Stephen C. Kolesar.  Principles of Corrosion , 1974 .

[50]  Jean Arlat,et al.  Dependability Modeling and Evaluation of Software Fault-Tolerant Systems , 1990, IEEE Trans. Computers.

[51]  C. Hu,et al.  A unified gate oxide reliability model , 1999, 1999 IEEE International Reliability Physics Symposium Proceedings. 37th Annual (Cat. No.99CH36296).

[52]  R. Chillarege,et al.  What Is Software Failure? , 1996, IEEE Trans. Reliab..

[53]  Mark R. Barber.  Fundamental Timing Problems in Testing MOS VLSI on Modern ATE , 1984, IEEE Design & Test of Computers.

[54]  E. J. Murphy,et al.  Dielectric breakdown , 1947 .

[55]  Michael Pecht,et al.  Thermal Reliability Management in PCB Design. , 1986 .

[56]  V. Ramappan,et al.  Are components still the major problem: a review of electronic system and device field failure returns , 1992 .

[57]  J.L. Moll,et al.  Latchup model for the parasitic p-n-p-n path in bulk CMOS , 1984, IEEE Transactions on Electron Devices.

[58]  Jerry L. Trahan,et al.  Neural-network techniques for software-quality evaluation , 1998, Annual Reliability and Maintainability Symposium. 1998 Proceedings. International Symposium on Product Quality and Integrity.

[59]  C. Lane,et al.  Developing reliable software , 1996, Proceedings of 1996 Annual Reliability and Maintainability Symposium.

[60]  Melvin A. Breuer,et al.  Digital systems testing and testable design , 1990 .

[61]  Taghi M. Khoshgoftaar,et al.  The impact of software enhancement on software reliability , 1995 .

[62]  Nozer D. Singpurwalla,et al.  The failure rate of software: does it exist? , 1995 .

[63]  Kam L Wong.  The common thread for operational reliability and failure physics , 1982 .

[64]  I. Fakhre-Zakeri,et al.  Mixture models for reliability of software with imperfect debugging: Identifiability of parameters , 1995 .

[65]  S.L. Pfleeger.  Measuring software reliability , 1992, IEEE Spectrum.

[66]  John D. Musa,et al.  Software reliability - measurement, prediction, application , 1987, McGraw-Hill series in software engineering and technology.

[67]  Donald J. Reifer,et al.  Software Failure Modes and Effects Analysis , 1979, IEEE Transactions on Reliability.

[68]  Parag K. Lala,et al.  Fault tolerant and fault testable hardware design , 1985 .

[69]  K. Sawada,et al.  An Evaluation of I/sub DDQ/ Versus Conventional Testing for CMOS Sea-of-Gate IC's , 1992, Proceedings International Test Conference 1992.

[70]  F. Joel Ferguson.  Book Review: Logic Design Principles by Edward J. McCluskey: Prentice-Hall Publishers, Englewood Cliffs, New Jersey, 549 pp., $39.95 , 1988, CARN.

[71]  Vernon Rego,et al.  Effect of testing techniques on software reliability estimates obtained using a time-domain model , 1995 .

[72]  Barry W. Boehm,et al.  Improving Software Productivity , 1987, Computer.

[73]  M. J. Howes,et al.  Reliability and degradation : semiconductor devices and circuits , 1981 .

[74]  A. Deutsch,et al.  Electrical characteristics of interconnections for high-performance systems , 1998, Proc. IEEE.

[75]  R. R. Troutman.  Latchup in CMOS technologies , 1987, IEEE Circuits and Devices Magazine.

[76]  D. S. Herrmann,et al.  Software reliability cases: the bridge between hardware, software and system safety and reliability , 1999, Annual Reliability and Maintainability. Symposium. 1999 Proceedings (Cat. No.99CH36283).

[77]  Gregory Chandler,et al.  Failure Mode/Mechanism Distributions , 1991 .

[78]  W. A. Shewhart,et al.  Quality control charts , 1926 .

[79]  K. Heiduschke.  Computational aspects of the logarithmic strain space description , 1996 .

[80]  Sarah Brocklehurst,et al.  Recalibrating Software Reliability Models , 1990, IEEE Trans. Software Eng..

[81]  H. Derriennic,et al.  Use of failure-intensity models in the software-validation phase for telecommunications , 1995 .

[82]  Nong Ye.  The presentation of knowledge and state-information for system fault diagnosis , 1996, IEEE Trans. Reliab..

[83]  J.D. Musa.  Tools for measuring software reliability , 1989, IEEE Spectrum.

[84]  Sten Hellström.  ESD ― The Scourge of Electronics , 1998 .

[85]  Nancy G Leveson,et al.  Software safety: why, what, and how , 1986, CSUR.

[86]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[87]  Christian Landrault,et al.  Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design Faults , 1978, IEEE Transactions on Computers.

[88]  Henry W. Ott,et al.  Noise Reduction Techniques in Electronic Systems , 1976 .

[89]  Benjamin S. Blanchard,et al.  Maintainability Principles and Practices , 1969 .

[90]  Jean Arlat,et al.  Fault injection for formal testing of fault tolerance , 1996, IEEE Trans. Reliab..

[91]  T. M. Khoshgoftaar,et al.  An empirical model of enhancement-induced defect activity in software , 1995 .

[92]  A. Birolini,et al.  dv/dt induced latching failure in 1200 V/400 A halfbridge IGBT modules , 1994, Proceedings of 1994 IEEE International Reliability Physics Symposium.

[93]  Nozer D. Singpurwalla,et al.  Assessing the Reliability of Software: An Overview , 1996 .

[94]  Chenming Hu.  Nonvolatile semiconductor memories : technologies, design, and applications , 1991 .

[95]  J. H. Lau,et al.  Experimental and statistical analyses of surface-mount technology PLCC solder-joint reliability , 1988 .

[96]  Chenming Hu,et al.  Reliability of thin SiO2 , 1994 .

[97]  Hassan Gomaa,et al.  A software design method for real-time systems , 1984, CACM.

[98]  Robert B. Grady,et al.  Practical results from measuring software quality , 1993, CACM.

[99]  P. Lall,et al.  Tutorial: temperature as an input to microelectronics-reliability models , 1996, IEEE Trans. Reliab..

[100]  Robert Fox.  Getting on the highway , 1993 .

[101]  W. Weber,et al.  Dynamic degradation in MOSFET's. I. The physical effects , 1991 .

[102]  Eric Braude.  Software engineering : selected readings , 2000 .

[103]  John D. Musa,et al.  The operational profile , 1996 .

[104]  J. F. Verweij,et al.  VLSI reliability in Europe , 1993, Proc. IEEE.

[105]  Jean-Marc Jézéquel,et al.  Efficient object-oriented integration and regression testing , 2000, IEEE Trans. Reliab..

[106]  B. N. Ellis,et al.  Cleaning and Contamination of Electronics Components and Assemblies , 1986 .

[107]  Ray P. Prasad.  Surface Mount Technology , 1988 .

[108]  J.J. Liou,et al.  Electrostatic discharge in semiconductor devices: protection techniques , 2000, Proceedings of the IEEE.

[109]  M. Pecht,et al.  Guidebook for managing silicon chip reliability , 1998 .

[110]  Gabriella Ghidini,et al.  Charge trapping mechanism under dynamic stress and its effect on failure time [gate oxides] , 1999, 1999 IEEE International Reliability Physics Symposium Proceedings. 37th Annual (Cat. No.99CH36296).

[111]  E. Blackshear,et al.  Moisture induced package cracking in plastic encapsulated surface mount components during solder reflow process , 1988 .

[112]  M. Herrmann.  Charge loss modeling for EPROMs with ONO interpoly dielectric , 1994 .

[113]  Samuel Glasstone,et al.  The Theory Of Rate Processes , 1941 .

[114]  D. L. Crook.  Evolution of VLSI reliability engineering , 1990 .

[115]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[116]  H. D. Solomon,et al.  Low Cycle Fatigue , 1988 .

[117]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[118]  P. Brambilla,et al.  Reliability evaluation of plastic packaged devices for long life applications by THB test , 1986 .

[119]  E. A. Amerasekera,et al.  Failure Mechanisms in Semiconductor Devices , 1987 .

[120]  K. Banerji,et al.  Constitutive relations for tin-based-solder joints , 1992, 1992 Proceedings 42nd Electronic Components & Technology Conference.

[121]  Nancy G. Leveson.  Software Safety in Computer-Controlled Systems , 1984, Computer.