Reliability demonstration for safety-critical systems

This paper suggests a new model for reliability demonstration of safety-cri tical systems, based on the TRW Software Reliability Theory. The paper desc ribes the model, the test equipment required, and test strategies based on the various constraints occurring during software development. The paper al so compares a new testing method, Single Risk Sequential Testing (SRST), wi th the common Probability Ratio Sequential Testing method (PRST), and concl udes that: SRST provides higher chances of success than PRST; SRST takes less time to complete than PRST, SRST satisfies the consumer-risk criterion, whereas PRST provides a much sm aller consumer-risk than the requirement.