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

• Applicant: Professor Dr.-Ing. Eckehard Schnieder
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 2004 to 2007
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• International Connection: Slovakia
• Participating Person: Professor Dr. Jiri Zahradnik