A safety case is a structured argument showing that a system is acceptably safe for a specific use in a specific environment. Safety cases typically include:
- A description of the system's operational context
- Identification of potential hazards and their consequences
- A description of the risk controls that mitigate the hazards
- An account of any residual risk