Probabilistic safety verification is particularly relevant in the fields of artificial intelligence, automation and Industry 4.0. This term describes a method used to calculate and evaluate the safety of systems - not in the traditional way, but with the help of probabilities.
Instead of just checking whether a system is safe in every case, probabilistic safety verification looks at how likely it is that an unsafe situation will occur. To this end, many possible events and their probabilities are analysed. This makes it easier to estimate the real risk in an automated system.
An example from industry: In a fully automated factory, robots should work safely with humans. Probabilistic safety verification helps to estimate how high the probability is that a robot arm will accidentally touch or injure a person - despite all the protective mechanisms.
By using this method, companies can make informed decisions about necessary safety measures and design their systems in such a way that accidents and failures are minimised.















