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