Mit der fortschreitenden Entwicklung im Bereich des automatisierten Fahrens gewinnt die Validie-rung der eingesetzten Systeme immer mehr an Bedeutung. Ein Fahrzeug kann mehrere Betriebs-stunden absolvieren, ohne dass es zu sicherheitsrelevanten Situationen kommt, doch sind solche Si-tuationen für eine aussagekräftige Validierung notwendig. Daher ist es für ein effizientes Absiche-rungsverfahren zwingend erforderlich, die im Straßenverkehr auftretenden influentiellen Elemente sozusammenzustellen, dass möglichst viele reale, sicherheitsrelevante Faktoren abgedeckt werden undgleichzeitig die Handhabbarkeit und Skalierbarkeit durch geeignete Abstraktion erhalten bleibt. Ein Ansatz ist die Durchführung einer Kritikalitätsanalyse, die diese Einflussfaktoren der Verkehrsweltidentifiziert und auf einer angemessenen Abstraktionsebene in Form von Kritikalitätsphänomenen beschreibt. Mit dieser Arbeit wird ein Verfahren zur Formalisierung von Kritikalitätsphänomenen entwickelt, das bei der Erkennung von Kritikalitätsphänomenen beginnt und bis zur automatisierten Auswertung reicht
