Software reliability models for fault-tolerant avionics computers and related topics
Douglas R. Miller · NASA Technical Reports Server (NASA) · 1987
Software reliability research is briefly described. General research topics are reliability growth models, quality of software reliability prediction, the complete monotonicity property of reliability growth, conceptual modelling of software failure behavior, assurance of ultrahigh reliability, and analysis techniques for fault-tolerant systems.