DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

A New Formal Methods Guidebook for the Railway Signalling Domain

Schwencke, Daniel and Borälv, Arne and Mejia, Luis-Fernando (2023) A New Formal Methods Guidebook for the Railway Signalling Domain. In: Proceedings of the 5th SmartRaCon Scientific Seminar, 40, pp. 135-146. 5th SmartRaCon Scientific Seminar, 25. Mai 2023, Berlin, Deutschland. ISSN 1866-721X.

[img] PDF


Considerable know-how about formals methods (FMs) exists in the railway signalling domain, and FMs have been successfully applied e.g. for verification of interlockings or development of computer-based train control systems. But FMs expertise is not generally available or widespread, and there is a lack of FMs integration into standards, of recommendations for FMs use and of guidance on where and how to employ them. For these reasons, TD2.7 of Shift2Rail is currently preparing a FMs guidebook which aims to document know-how, experience, and recommendations, to pave the way for wider use of FMs for today's and future railway signalling systems. In this contribution, the guidebook contents are briefly presented, including why, when and for what purpose to apply FMs, what FMs are and which steps their application follows. Afterwards, an example application of the guidebook's FMs concepts is described.

Item URL in elib:https://elib.dlr.de/193923/
Document Type:Conference or Workshop Item (Speech)
Title:A New Formal Methods Guidebook for the Railway Signalling Domain
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Schwencke, DanielUNSPECIFIEDhttps://orcid.org/0000-0002-0592-9551UNSPECIFIED
Date:May 2023
Journal or Publication Title:Proceedings of the 5th SmartRaCon Scientific Seminar
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Page Range:pp. 135-146
EditorsEmailEditor's ORCID iDORCID Put Code
UNSPECIFIEDDeutsches Zentrum für Luft- und Raumfahrt e.V., Institut für VerkehrssystemtechnikUNSPECIFIEDUNSPECIFIED
Series Name:Reports of the DLR-Institute of Transportation Systems
Keywords:Formal Methods, Railway, Signalling, Guidebook
Event Title:5th SmartRaCon Scientific Seminar
Event Location:Berlin, Deutschland
Event Type:international Conference
Event Dates:25. Mai 2023
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Rail Transport
DLR - Research area:Transport
DLR - Program:V SC Schienenverkehr
DLR - Research theme (Project):V - INTRA - Infrastruktur und Transformation
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Verification and Validation, BS
Deposited By: Schwencke, Dr. Daniel
Deposited On:01 Sep 2023 16:48
Last Modified:01 Sep 2023 16:48

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.