Dieser Artikel schildert einen neuen Ansatz zum Zuverlässigkeitsnachweis sicherheitskritischer Softwaresysteme mittels statistischer Auswertung der Betriebserfahrung. Die praktische Anwendung dieses Verfahrens wird anhand einer GetriebesteuerungsSoftware demonstriert, welche momentan im Rahmen einer industriellen Forschungskooperation durchgeführt wird.