Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien

• Antragsteller: Professor Dr.-Ing. Eckehard Schnieder
• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
• Förderung: Förderung von 2004 bis 2007
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5439115

Gegenstand des Vorhabens ist die Entwicklung einer integrierten Vorgehensweise zur Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungssysteme im Anwendungsbereich der Eisenbahnleittechnik. Einen besonderen Stellenwert hat dabei die Berücksichtigung der Anforderungen der CENELEC-Normen an den Entwicklungsprozess, die eine qualitative sowie quantitative Verifikation der Eigenschaften des Steuerungssystems verlangen. Das Vorhaben zielt ab auf die erstmalige Betrachtung des gesamten Designprozesses auf Basis der Reduktion des betrieblichen Risikos. Diese skizzierte Vorgehensweise soll einen bedeutenden Beitrag zur Anwendbarkeit und Akzeptanz einer neuen Sicherheitsphilosophie auch in anderen sicherheitsrelevanten Bereichen leisten. Für die integrierte Vorgehensweise sollen im Rahmen des Vorhabens ein geeignetes Beschreibungsmittel, eine Anwendungsmethodik sowie eine passende Werkzeugunterstützung untersucht und erprobt werden.

• DFG-Verfahren: Sachbeihilfen
• Internationaler Bezug: Slowakei
• Beteiligte Person: Professor Dr. Jiri Zahradnik