elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Holistic Study of Formal Methods and Standardization in Specification, Development, Verification and Validation of Railway Signalling System Software

Borälv, Arne und Berglehner, Randolf und Cherif, Ibtihel und Fredholm, Daniel und Hansen, Dominik und Magro, Javier und Mejia, Luis-Fernando und Mentré, David und Rasheeq, Abdul und Schwencke, Daniel und Werner, Thomas (2022) Holistic Study of Formal Methods and Standardization in Specification, Development, Verification and Validation of Railway Signalling System Software. World Congress on Railway Research 2022, 2022-06-06 - 2022-06-10, Birmingham, UK. (im Druck)

[img] PDF - Nur DLR-intern zugänglich
360kB

Offizielle URL: https://www.sparkrail.org

Kurzfassung

Tender requirements for rail control tend to be vague and imprecise, demanding significant effort and know-how to be interpreted and detailed. This leads to critical design choices whose impact is not understood until late phases. Verification is mainly based on manual review and test, that do not provide assurance that critical system properties always hold. Reuse is limited, due to lack of standardized system architecture and interfaces, resulting in wasted effort from project to project, and the need to manage and maintain several system variants. These root causes make schedules to deliver systems long and unpredictable, and systems costly to procure, develop and maintain. Shift2Rail technology demonstrator TD2.7 studies how formal methods (FMs) and standardization help address these root causes. This article describes two complementary case studies, together with a business case perspective, for FMs use in specification, development and verification and validation (V&V) of rail control software. What is new in this work is that industry practitioners and researchers in Shift2Rail collaborated to define a taxonomy of FM use cases for rail control and applied them to real-world subsystems. Together, this holistic study combines all those FMs use cases and many individual FMs and tools considered state-of-the-art to demonstrate that using FMs is feasible and worthwhile.

elib-URL des Eintrags:https://elib.dlr.de/186162/
Dokumentart:Konferenzbeitrag (Vortrag)
Zusätzliche Informationen:According to the congress brochure, all congress proceedings are made available on SPARK, a free, interactive web tool for the rail industry: https://www.sparkrail.org
Titel:Holistic Study of Formal Methods and Standardization in Specification, Development, Verification and Validation of Railway Signalling System Software
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Borälv, ArneTrafikverketNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Berglehner, RandolfDB Netz AGNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Cherif, IbtihelDB Netz AGNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fredholm, DanielTrafikverketNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Hansen, DominikThales Deutschland GmbHNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Magro, JavierCAF SignallingNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Mejia, Luis-FernandoAlstomNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Mentré, DavidMERCENICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Rasheeq, AbdulDB Netz AGNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Schwencke, DanielDaniel.Schwencke (at) dlr.dehttps://orcid.org/0000-0002-0592-9551NICHT SPEZIFIZIERT
Werner, ThomasSiemens Mobility Ltd.NICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2022
Referierte Publikation:Nein
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Status:im Druck
Stichwörter:Formal method, semi-formal method, formal verification, test case generation, formal development
Veranstaltungstitel:World Congress on Railway Research 2022
Veranstaltungsort:Birmingham, UK
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:6 Juni 2022
Veranstaltungsende:10 Juni 2022
Veranstalter :RSSB und University of Birmingham
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:Schienenverkehr
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V SC Schienenverkehr
DLR - Teilgebiet (Projekt, Vorhaben):V - Digitalisierung und Automatisierung des Bahnsystems (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik > Verifikation und Validierung, BS
Hinterlegt von: Schwencke, Dr. Daniel
Hinterlegt am:21 Okt 2022 16:11
Letzte Änderung:24 Apr 2024 20:47

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.