Dependability Evaluation of Integrated Hardware/Software Systems

A methodology for predicting the dependability (reliability and availability) of an integrated realtime hardware/software system using a semi-Markov process is described. This methodology was used to evaluate the reliability of the shuttle mission simulators at the NASA Johnson Space Center.

[1]  S P Lamb.  A Survey and Evaluation of Software Quality Assurance. , 1984 .

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

[3]  Bev Littlewood.  How to Measure Software Reliability and How Not To , 1979, IEEE Transactions on Reliability.

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

[5]  Balbir S. Dhillon.  Systems reliability, maintainability, and management , 1983 .

[6]  Bev Littlewood,et al.  A Bayesian Reliability Model with a Stochastically Monotone Failure Rate , 1974 .

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

[8]  Robert L. Glass,et al.  Software reliability guidebook , 1979 .

[9]  Glenford J. Myers,et al.  Software Reliability: Principles and Practices , 1976 .

[10]  Bev Littlewood,et al.  Theories of Software Reliability: How Good Are They and How Can They Be Improved? , 1980, IEEE Transactions on Software Engineering.

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

[12]  Bev Littlewood,et al.  A Bayesian Reliability Growth Model for Computer Software , 1973 .

[13]  Sheldon M. Ross,et al.  Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.