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

点击翻译按钮获取中文摘要

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.