Ein sicherheitskritisches System ist ein System, dessen Ausfall oder Fehlfunktion zu ernsthaften Konsequenzen wie Verletzungen, Tod, erheblichen Sachschäden oder Umweltschäden führen kann. Solche Systeme sind in Bereichen wie der Luftfahrt, Medizintechnik, Automobilindustrie und industriellen Automatisierung weit verbreitet. Diese Systeme müssen strenge Sicherheitsanforderungen und Standards erfüllen, um sicherzustellen, dass sie zuverlässig und fehlerfrei arbeiten und die Risiken auf ein akzeptables Niveau minimieren.