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.