Test4Rail 2017

17 to 18 October 2017

Braunschweig, Germany

The objective of the symposium is to identify new approaches for the optimization of tests of safety-critical, software-based railway systems.

Testing is an important issue in most, if not all, application areas of IT systems. And there are many approaches, methods and tools around which address that topic. In the rail domain, specific requirements related to safety and availability, as well as the complexity of present-day systems, induce an enormous effort for test and commissioning today.

The symposium shall serve to see and disseminate what has proven to be useful, to discuss what could be helpful, and to identify what might be worth trying, in order to reduce the effort.

Above that, Test4Rail 2017 will have a particular look at security. This aspect causes growing concern and will surely need a lot more attention from test engineers in years to come than it has gotten in the past.

Agenda

  • The agenda is subject to alterations. 

    Tuesday, 17 October 2017

     
    9:00 - 9:50

    Registration and Coffee

  •  

    PRE-SYMPOSIUM: TUTORIAL ON MODEL-BASED TESTING

     
    9:50 - 10:00

    Introduction

    PD Dr. Hardi Hungar (DLR, DE)

  •  
    10:00 - 12:00

    Model-based unit, integration and system testing in a continuous engineering environment

    Christian Wachtendorf (BTC-ES, DE), Eike Römer (Willert Software Tools, DE)

  •  
    12:00 - 13:00

    Registration and Coffee / Refreshments for the participants of the Pre-Symposium

  •  

    TEST4RAIL 2017 – OPENING

     
    13:00 - 13:15

    Welcome

    Prof. Frank Köster (DLR, DE)

  •  
    13:15 - 14:00

    Keynote 1: How do railways implement new technology?

    Prof. Andy Doherty (Network Rail, UK)

  •  
    14:00 - 14:30

    Coffee Break

  •  

    PRACTICE OF RAIL TESTING

     
    14:30 - 15:00

    How to test effectively in CENELEC conformant interlocking development: Experiences with a lean approach

    Jürg Suter (Bär Bahnsicherung, CZ)

  •  
    15:00 - 15:30

    Regression testing for the effective upgrade of an automatic track protection system

    Petr Štěpán (CTU/AZD, CZ)

  •  
    15:30 - 16:00

    Learning based testing

    Bernhard Steffen (TU Dortmund, DE)

  •  
    16:00 - 16:30

    Coffee Break

  •  

     

    APPLIED TESTING

     
    16:30 - 17:00

    Evaluation of a UNISIG proposal for rolling stock emission measurement methodology

    Iñigo Adin (CEIT, ES)

  •  
    17:00 - 17:30

    ETCS interoperability testing based on the UNISIG Specifications Subset 110, 111, 112

    Burkhard Börner (Thales, DE)

  •  
    17:30 - 18:00

    A virtual OBCU for system tests

    Ove Kalkan (ESE, DE)

  •  

    EVENING RECEPTION

     
    18:15 - 18:30

    Bus shuttle to the evening reception

  •  
    18:30 - 21:30

    Evening reception at the Old Town Hall (Dornse)

    Altstadtmarkt 7, 38100 Braunschweig

Wednesday, 18 October 2017

  •  
    8:00 - 8:30

    Registration and Coffee

  •  
    8:30 - 9:15

    Keynote 2: Security threats for the rail system

    Prof. Stefan Katzenbeisser (TU Darmstadt, DE)

  •  
    9:15 - 9:30

    Coffee Break

  •  

    SECURITY

     
    9:30 - 10:00

    Cybersecurity Challenges for Next Generation Railways

    Christian Prehofer, Taha Cherfia (fortiss, DE)

  •  
    10:00 - 10:30

    Challenges in Testing Security Functionality

    Christian Schlehuber (DB Netz, DE)

  •  
    10:30 - 11:00

    Security of embedded hardware

    Johann Heyszl (FHG AISEC, DE)

  •  
    11:00 - 11:30

    Coffee Break

  •  

    FOUNDATIONS & TECHNOLOGY

     
    11:30 - 12:00

    ETCS testing using field data

    Andreas Distler (DLR, DE)

  •  
    12:00 - 12:30

    Checking formal specifications by testing

    Udo Brockmeyer (BTC-ES, DE)

  •  
    12:30 - 13:00

    Verification techniques along the ERTMS/ETCS projects lifecycle: from modelling and simulation to on-site testing

    Maurizio Palumbo (ERTMS Solutions, BE)

  •  
    13:00 - 14:00

    Lunch

  •  

    INTERLOCKING TESTING AND AUTHORIZATION

     
    14:00 - 15:00

    State-of-the-art architectures – State-of-the-art testing

    Jürgen Schölzel (Siemens, DE)

  •  
    14:30 - 15:00

    An RBC test environment and its application

    Alexandre Girardi (Multitel, BE)

  •  
    15:00 - 15:30

    How to validate reference models with SysML state charts and sequence diagrams

    Oliver Lemke (Signon, DE)

  •  
    15:30 - 16:00

    Conformance, interoperability, and integration testing of modular interlocking systems

    Mirko Caspar (DLR, DE)

  •  
    16:00 - 16:15

    Conclusion and Farewell

    PD Dr. Hardi Hungar (DLR, DE)

Download

All participants may download the presentations of the symposium Test4Rail 2017 here. If you haven't got your log-in yet, please contact Andreas Redeker, andreas.redeker@its-an.de.

 

Tuesday, 17 October 2017


Pre-symposium: Tutorial on Model-based Testing:

 

Keynote 1:

 

Practice of Rail Testing:

 

Applied Testing:

 

Wednesday, 20 September 2017

Keynote 2:

 

Security:

 

Foundations & Technology:

 

Interlocking Testing & Authorization:

Your data is processed.

Please wait for the confirmation page.