Dependability Evaluation of Integrated Hardware/Software Systems
George E. Stark · IEEE Transactions on Reliability · 1987
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.