Assessing failure probabilities in safety-critical systems containing software

SRCS (safety-related computer systems) need to be kept under firm intellectual control throughout their development so that the range of possible behavior can always be specified precisely. This is equivalent to a requirement that the behavior be modeled mathematically and is a powerful argument for the use of mathematically formal notations (formal methods) throughout the specification, design, and implementation of software and hardware for SRCS