The document discusses system reliability and ensuring it through reliability growth modeling. It explains how safety cases are used to validate safety and make formal arguments that critical systems meet dependability requirements. The costs of failure for critical systems are significantly higher, so reliability modeling and safety validation are important to remove faults and prevent costly system failures.

1. BY
S.PARANIPUSHPA
DEPARTMENT OF CS&IT
NADAR SARASWATHI COLLEGE ARTS
AND SCIENCE
*

2. *
*To explain how system reliability can be
*Ensure and how reliability growth modeling.
*To discuss the problem of safety
*To safety cases and how are used in safety
*Validation.

3. *
*The costs and consequences of failure
*Are high so it is cheaper to find,
*And remove faults than to pay for systeou may
m failure.
*You may have to make to formal case to
customer or to a regulator the system meets
*Its dependability requirements.

4. *
*The costs for critical systems are usually
significantly higher than for non critical
*Systems of validation.