Reliability demonstration for safety-critical systems

This paper suggests a new model for reliability demonstration of safety-critical systems, based on the TRW Software Reliability Theory. The paper describes the model, the test equipment required, and test strategies based on the various constraints occurring during software development. The paper also compares a new testing method, single risk sequential testing (SRST), with the common probability ratio sequential testing method (PRST), and concludes that: (i) SRST provides higher chances of success than PRST; (ii) SRST takes less time to complete than PRST; and (iii) SRST satisfies the consumer-risk criterion, whereas PRST provides a much smaller consumer-risk than the requirement