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

Formal Based Tests for Conformity and Interoperability of Rail Systems

Asbach, Lennart und Hungar, Hardi und Meyer zu Hörste, Michael (2016) Formal Based Tests for Conformity and Interoperability of Rail Systems. In: Third International Conference on Railway Technology: Research, Development and Maintenance. Civil-Comp Press, Stirlingshire, UK. Third International Conference on Railway Technology: Research, Development and Maintenance, 2016-04-05 - 2016-04-08, Cagliari, Italien. doi: 10.4203/ccp.110.246.

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

Offizielle URL: http://www.ctresources.info/ccp/paper.html?id=9137

Kurzfassung

This paper shows how to formalize different kinds of tests for a railway system. The common theme of the test scenarios is the goal of performing them in a reference laboratory. One line of tests concern the ETCS system, starting with specification conformity of the on-board unit. These tests are extended to address interoperability of different components of the ETCS system, and then to the validation of operational serviceability. The other line of tests aims to establish the interoperability of track-side equipment. The formalization concept for the ETCS tests starts with the conformity tests of the on-board unit, which itself is fully specified. Interoperability and serviceability address the unit's interaction with other equipment. This involves coping with systems in the test which are only partially defined. This is a feature of even more importance in the treatment of track-side interoperability. Overall, it is shown how a variety of different techniques is needed to cope with the challenge of fully attaining meaningful test results.

elib-URL des Eintrags:https://elib.dlr.de/109010/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Formal Based Tests for Conformity and Interoperability of Rail Systems
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Asbach, Lennartdeutsches zentrum für luft- und raumfahrt e.v.NICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Hungar, HardidlrNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Meyer zu Hörste, MichaelNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2016
Erschienen in:Third International Conference on Railway Technology: Research, Development and Maintenance
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
DOI:10.4203/ccp.110.246
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Pombo, J.NICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Verlag:Civil-Comp Press, Stirlingshire, UK
Status:veröffentlicht
Stichwörter:ETCS, testing, formalization, conformity, interoperability
Veranstaltungstitel:Third International Conference on Railway Technology: Research, Development and Maintenance
Veranstaltungsort:Cagliari, Italien
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:5 April 2016
Veranstaltungsende:8 April 2016
Veranstalter :Civil-Comp Press
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:Verkehrsmanagement (alt)
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V VM - Verkehrsmanagement
DLR - Teilgebiet (Projekt, Vorhaben):V - Next Generation Railway Systems III (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik
Hinterlegt von: Hungar, PD Dr. Hardi
Hinterlegt am:12 Dez 2016 13:01
Letzte Änderung:24 Apr 2024 20:14

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.