出版社：Defence Scientific Information & Documentation Centre
摘要：Checkout system is the nerve centre for test, maintenance and launch of an aerospace vehicle. Real-time software embedded in it plays a vital role in taking decisions at critical point of time. The problem of not detecting a fault in the system under test or raising a false alarm due to the misinterpretation of a parameter will lead to crashing of time, bouncing on safety and crunching on cost. It is therefore essential to develop and deliver a fault-free software for this system. Software reliability is defined as the probability that it will work without fail for a specified period. Unlike hardware, it is difficult to count and predict the failures and thereby generate a figure of reliability. In case of checkout software, activities are more dependent on the environment and the parameters are also random with respect to time. This paper highlights the set of procedures evolved during the process of designing and delivering various reliable checkout software for aerospace system. This has given an insight into the failure ,analysis and has shown the correctness of software under all foreseeable conditions. Basic execution time model is used to measure the desired software reliability.
关键词：Failure analysis ;Software reliability;Checkout system
