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

Formal Based Tests for Conformity and Interoperability of Rail Systems

Asbach, Lennart and Hungar, Hardi and 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, 05.-08. Apr. 2016, Cagliari, Italien. DOI: 10.4203/ccp.110.246

[img] PDF - Registered users only
399kB

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

Abstract

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.

Item URL in elib:https://elib.dlr.de/109010/
Document Type:Conference or Workshop Item (Speech)
Title:Formal Based Tests for Conformity and Interoperability of Rail Systems
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Asbach, Lennartdeutsches zentrum für luft- und raumfahrt e.v.UNSPECIFIED
Hungar, HardidlrUNSPECIFIED
Meyer zu Hörste, MichaelUNSPECIFIEDUNSPECIFIED
Date:2016
Journal or Publication Title:Third International Conference on Railway Technology: Research, Development and Maintenance
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI :10.4203/ccp.110.246
Editors:
EditorsEmail
Pombo, J.UNSPECIFIED
Publisher:Civil-Comp Press, Stirlingshire, UK
Status:Published
Keywords:ETCS, testing, formalization, conformity, interoperability
Event Title:Third International Conference on Railway Technology: Research, Development and Maintenance
Event Location:Cagliari, Italien
Event Type:international Conference
Event Dates:05.-08. Apr. 2016
Organizer:Civil-Comp Press
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Traffic Management (old)
DLR - Research area:Transport
DLR - Program:V VM - Verkehrsmanagement
DLR - Research theme (Project):V - Next Generation Railway Systems III (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems
Deposited By: Hungar, PD Dr. Hardi
Deposited On:12 Dec 2016 13:01
Last Modified:12 Dec 2016 13:01

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.