Probabilistic safety verification is particularly relevant in the fields of Artificial Intelligence, automation, and Industry 4.0. This term describes a method by which the safety of systems is calculated and evaluated – but not in the classic way, but with the help of probabilities.
Instead of just checking if a system is safe in every case, probabilistic safety verification looks at how likely an unsafe situation is to occur. This involves analysing many possible events and their probabilities. This allows for a better estimation of the actual risk in an automated system.
An example from industry: In a fully automated factory, robots are supposed to work safely alongside humans. Probabilistic safety verification helps to estimate the likelihood that a robot arm might accidentally touch or injure a human – despite all protective measures.
By using this method, companies can make informed decisions about necessary security measures and specifically design their systems to minimise the occurrence of accidents and failures.
Deutsch 
English (UK)