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)
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: |
| ||||||||||||||||||||||||||||||||||||||||||||||||
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