X-Ware Reliability and Availability Modeling

The problem of modeling a system's reliability and availability with respect to the various classes of faults (physical and design, internal and external) which may affect the service delivered to its users is addressed. Hardware and software models are currently exceptions in spite of the user's requirements; these requirements are expressed in terms of failures independently of their sources, i.e., the various classes of faults. The causes of this situation are analyzed; it is shown that there is no theoretical impediment to deriving such models, and that the classical reliability theory can be generalized in order to cover both hardware and software viewpoints that are X-Ware. >

[1]  Pascale Thévenod-Fosse Software Validation by Means of Statistical Testing: Retrospect and Future Direction , 1991 .

[2]  Ulf Grenander,et al.  Time Series Analysis. Methuen Monographs on Applied Probability and Statistics , 1962 .

[3]  John D. Musa Validity of Execution-Time Theory of Software Reliability , 1979, IEEE Transactions on Reliability.

[4]  Jean-Claude Laprie,et al.  Hardware-and-Software Dependability Evaluation , 1989, IFIP Congress.

[5]  Karama Kanoun,et al.  A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System , 1991, IEEE Trans. Software Eng..

[6]  Kishor S. Trivedi,et al.  Performability Analysis: Measures, an Algorithm, and a Case Study , 1988, IEEE Trans. Computers.

[7]  Lu Wei,et al.  Analysis of workload influence on dependability , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[8]  Harlan D. Mills,et al.  Correction to 'Certifying the reliability of software' (Jan. 1986 3-11) , 1989 .

[9]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[10]  George E. Stark Dependability Evaluation of Integrated Hardware/Software Systems , 1987, IEEE Transactions on Reliability.

[11]  Pierre I. Pignal An Analysis of Hardware and Software Availability Exemplified on the IBM 3725 Communication Controller , 1988, IBM J. Res. Dev..

[12]  J. C. Laprie,et al.  Dependability modeling and evaluation of hardware-and-software systems , 1992 .

[13]  Jean Arlat,et al.  ON THE PERFORMANCE OF SOFTWARE FAULT-TOLERANCE STRATEGIES+ , 1980 .

[14]  Edward N. Adams,et al.  Optimizing Preventive Service of Software Products , 1984, IBM J. Res. Dev..

[15]  Jean-Claude Laprie Dependability modelling and evaluation of software and hardware systems , 1984, Fehlertolerierende Rechensysteme.

[16]  Jean-Claude Laprie,et al.  Dependability Evaluation of Software Systems in Operation , 1984, IEEE Transactions on Software Engineering.

[17]  Bev Littlewood,et al.  Stochastic Reliability-Growth: A Model for Fault-Removal in Computer-Programs and Hardware-Designs , 1981, IEEE Transactions on Reliability.

[18]  Alain Pagès,et al.  System Reliability , 1986 .

[19]  B. Littlewood Software Reliability Model for Modular Program Structure , 1979, IEEE Transactions on Reliability.

[20]  John D. Musa,et al.  A theory of software reliability and its application , 1975, IEEE Transactions on Software Engineering.

[21]  Boris Vladimirovič Gnedenko,et al.  Mathematical methods in the reliability theory , 1969 .

[22]  Hermann Kopetz,et al.  Fault tolerance, principles and practice , 1990 .

[23]  Roger C. Cheung A User-Oriented Software Reliability Model , 1980, IEEE Trans. Software Eng..

[24]  Donald Gross,et al.  The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes , 1984, Oper. Res..

[25]  David Lorge Parnas,et al.  On a 'Buzzword': Hierarchical Structure , 2001, IFIP Congress.

[26]  A. Birolini,et al.  Some Applications of Regenerative Stochastic Processes to Reliability TheoryߞPart One: Tutorial Introduction , 1974 .

[27]  Harlan D. Mills,et al.  Certifying the reliability of software , 1986, IEEE Transactions on Software Engineering.

[28]  P. M. Nagel,et al.  Software reliability: Repetitive run experimentation and modeling , 1982 .

[29]  H. A. Bauer,et al.  The 5ESS switching system: System test, first-office application, and early field experience , 1985, AT&T Technical Journal.

[30]  K. Kanoun,et al.  The Role of Trend Analysis in Software Development and Validation , 1991 .

[31]  Jim Gray,et al.  Why Do Computers Stop and What Can Be Done About It? , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[32]  Douglas R. Miller Exponential order statistic models of software reliability growth , 1986, IEEE Transactions on Software Engineering.

[33]  Shigeru Yamada,et al.  S-Shaped Reliability Growth Modeling for Software Error Detection , 1983, IEEE Transactions on Reliability.

[34]  R. L. Aveyard,et al.  A study on the reliability of the circuit maintenance system-1B , 1980, The Bell System Technical Journal.

[35]  P. Lewis A Branching Poisson Process Model for the Analysis of Computer Failure Patterns , 1964 .

[36]  Jean-Claude Laprie,et al.  The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth , 1991, IEEE Trans. Software Eng..

[37]  Ravishankar K. Iyer,et al.  A Statistical Failure/Load Relationship: Results of a Multicomputer Study , 1982, IEEE Transactions on Computers.

[38]  Ytzhak H. Levendel,et al.  Defects and reliability analysis of large software systems: field experience , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[39]  A. Avizienis,et al.  Dependable computing: From concepts to design diversity , 1986, Proceedings of the IEEE.

[40]  YOSHIHIRO TOHMA,et al.  Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hyper-Geometric Distribution , 1989, IEEE Trans. Software Eng..

[41]  L. H. Crow Confidence Interval Procedures for Reliability Growth Analysis , 1977 .

[42]  Harold E. Ascher,et al.  Repairable Systems Reliability: Modelling, Inference, Misconceptions and Their Causes , 1984 .

[43]  W. C. Carter,et al.  Reliability modeling techniques for self-repairing computer systems , 1969, ACM '69.

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

[45]  John J. Wallace,et al.  Designing for Ultrahigh Availability: The Unix RTR Operating System , 1984, Computer.

[46]  Thomas F. Arnold,et al.  The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System , 1973, IEEE Transactions on Computers.

[47]  Shunji Osaki,et al.  Software Reliability Growth Modeling: Models and Applications , 1985, IEEE Transactions on Software Engineering.

[48]  Bev Littleword,et al.  Forecasting Software Reliability , 1987 .

[49]  Daniel P. Siewiorek,et al.  Workload, Performance, and Reliability of Digital Computing Systems. , 1980 .

[50]  Paul K. Giloth,et al.  Evolution of Fault Tolerant Switching Systems in AT&T , 1987 .

[51]  Herbert Hecht Fault-Tolerant Software , 1979, IEEE Transactions on Reliability.

[52]  K Okumoto,et al.  TIME-DEPENDENT ERROR-DETECTION RATE MODEL FOR SOFTWARE AND OTHER PERFORMANCE MEASURES , 1979 .

[53]  Amrit L. Goel,et al.  Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures , 1979, IEEE Transactions on Reliability.

[54]  Kishor S. Trivedi,et al.  An Aggregation Technique for the Transient Analysis of Stiff Markov Chains , 1986, IEEE Transactions on Computers.

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

[56]  J. T. Duane Learning Curve Approach to Reliability Monitoring , 1964, IEEE Transactions on Aerospace.

[57]  Richard E. Barlow,et al.  Statistical Theory of Reliability and Life Testing: Probability Models , 1976 .

[58]  Ravishankar K. Iyer,et al.  An exponential failure/load relationship: results of a multi-computer statistical study , 1981 .

[59]  Z. Jelinski,et al.  Software reliability Research , 1972, Statistical Computer Performance Evaluation.

[60]  Mitsuru Ohba,et al.  Software Reliability Analysis Models , 1984, IBM J. Res. Dev..