Definition
A safety case is a structured argument, supported by evidence, that the item is safe for its intended use. It must demonstrate that each safety goal is satisfied by showing:
- The hazards are correctly identified (HARA)
- The safety goals are correct and complete (HARA output)
- The system design meets the safety goals (FSC, TSRs, SSRs)
- The implementation is correct (reviews, tests, analyses)
- The residual risk is acceptable (PMHF, SPFM, LFM)