Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme

Zusammenfassung

Zur Wahrnehmung sicherheitskritischer Automatisierungsaufgaben müssen informationsverarbeitende Systeme mit einem hinreichenden Grad an Vertrauen in ihre Verläßlichkeit erstellt werden können, der ihre formelle Zulassung zu vertretbaren Kosten durch die Aufsichtsbehörden erlaubt. Die auf dem Markt angebotenen sogenannten „sicheren speicherprogrammierbaren Steuerungen“können zwar eine TÜV-Abnahme ihres Geräteaufbaus vorweisen [6], enthalten jedoch keinerlei Vorkehrungen, die geeignet wären, die Korrektheit der darauf laufenden Programme zu gewährleisten. Um das Risiko falschen Steuer- und Regelverhaltens auszuschließen, muß jedoch streng nachgewiesen werden, daß entsprechende Programme ihre Spezifikationen erfüllen. Zwar gibt es schon eine Reihe bewährter Methoden und Richtlinien, die ihre Nützlichkeit fur die Entwicklung und Validierung von Programmen zur Steuerung sicherheitskritischer technischer Prozesse erwiesen haben, jedoch können diese Maßnahmen beim derzeitigen Stand der Technik die Korrektheit größerer Programme noch nicht garantieren.