Title :
Reliability prediction of a trajectory verification system
Author :
Cukic, Bojan ; Chakravarthy, Diwakar ; McCaugherty, Dan
Author_Institution :
Dept. of Comput. Sci. & Electr. Eng., Univ. of West Virginia, Morgantown, WV, USA
Abstract :
The existence of software faults in safety-critical systems is not tolerable. Goals of software reliability assessment are estimating the failure probability of the program, θ, and gaining statistical confidence that θ is realistic. The paper presents practical problems and challenges encountered in an ongoing effort to assess and quantify software reliability of NASA´s Day-of-Launch I-Loan Update (DOLILU II) system. DOLILU II system has been in operational use for several years. Bayesian framework is chosen for reliability assessment, because it allows incorporation of failure free executions, observed in the operational environment, into the reliability prediction
Keywords :
aerospace computing; safety-critical software; software reliability; Bayesian framework; DOLILU II system; Day-of-Launch I-Loan Update; failure free executions; failure probability; reliability prediction; safety-critical systems; software faults; statistical confidence; trajectory verification system; Application software; Bayesian methods; NASA; Probability; Scalability; Software quality; Software reliability; Software safety; Software systems; Trajectory;
Conference_Titel :
Application-Specific Software Engineering Technology, 1998. ASSET-98. Proceedings. 1998 IEEE Workshop on
Conference_Location :
Richardson, TX
Print_ISBN :
0-8186-8582-4
DOI :
10.1109/ASSET.1998.688235
