Beschreibung von Eisenbahninfrastrukturen mit railML und ihre Verifikation

Sie sind hier: Homepage > Suche

Beschreibung von Eisenbahninfrastrukturen mit railML und ihre Verifikation

Lodemann, Michael / Gerke, Carsten / Luttenberger, Norbert

Der Artikel beschreibt die Entwicklung eines regelbasierten Verifikationssystems zur Optimierung des Planungsprozesses von Eisenbahninfrastruktur- und Sicherungselementen. Das System verwendet Technologien der Wissensrepräsentation und ermöglicht die Abbildung von Planungs- und Projektierungsrichtlinien in Form von erweiterbaren Regelsätzen. Bei einer automatischen Verifikation wird ein Prüfbericht generiert, der den manuellen Prüfaufwand stark vermindert. Als Transferformat zwischen Planungsanwendung und dem Verifikationssystem wird railML, ein eisenbahnspezifisches XML-Schema, verwendet.

The article describes the development of a rule-based verification system for optimising the planning process of railway infrastructure and safety elements. The system uses technologies of knowledge representation and enables mapping of planning and engineering guidelines as extendable sets of rules. During automatic verification a test report is generated which greatly reduces the time and work involved in manual testing. raifML, a railway-specific XML schema, is used as transfer format between planning application and the verification system.