DB Netz and ProRail: Agreement signed for international knowledge cooperation with universities in the signalling domain

Developments in technology are going faster and faster. We also want to achieve the benefits in the signalling domain. The dilemma is that the development of safe systems must be done carefully, the safety assessment of modern technology is becoming increasingly complex and takes longer. In 2017, an initial study showed that formal mathematical methods can help us to solve this dilemma. The signed contract helps us to reach this goal: in international cooperation and with leading knowledge institutes, we develop methods that can be used to demonstrate the safe functioning of the combination of subsystems.

Read more: International knowledge cooperation

David Shipman (Network Rail) and Stephen Bull (Ebeni) explained the approach to assurance of EULYNX at two cross-industry security-focussed conferences.  February’s presentation was at the Safety-Critical Systems Symposium, SSS19, run by the Safety-Critical Systems Club.  Delegates learned about the challenges of approaching the assurance of specifications for EULYNX interfaces, as opposed to the full implementation of systems, the methods proposed within the programme, and the successes to date in achieving this. 

The presentation generated a lot of interest both in the approach and in EULYNX as a whole, and, unsurprisingly for events attended by many security specialists, generated a lot of questions about the relationship between safety and security that we have adopted in delivering the assurance of EULYNX.  Significantly, there was much recognition of the successes that have been achieved through adopting the current approach to assurance of specifications-based deliverables.

Read more: EULYNX Assurance presentations

The EULYNX Consortium has published a major documentation release Baseline Set 3 Release 1.

The release includes architecture documents, subsystem requirements and interface specifications of the EULYNX System. Formal state machine models are included for some requirements specifications, and will be available for complete subsystems in following releases.

Development of the EULYNX data format for the standardised exchange of signalling engineering data is progressing, therefore this release also includes a preliminary release of the data format containing samples of XSD and UML. The data capturing and data modelling process is still ongoing, however provided samples give end users an impression of how the model works.

The EULYNX Consortium has scheduled follow up releases of Baseline Set 3: Release 2 in April 2019, Release 3 in July 2019 and Release 4 in December 2019.

All deliverables are in PDF format and available for download under folder Published documents . All deliverables originating from DOORS are also available in requirements interchange format ReqIF.

If your organisation does not have yet registered access please fill out the folder registration form

We are happy to announce that the very first version of RCA (reference CCS architecture) is ready and publicly available for feedback!

Based on the white paper published in summer 2018, the RCA initiative is driven by several railways organized in EUG and EULYNX. The RCA initiative strives for a substantial improvement in cost, capacity, safety, reliability of the CCS (command, control, signalling) system. RCA starts with radio-based ETCS cab-signalling and EULYNX interfaces and adds a harmonized architecture with clearly defined interfaces leading to an upgradable system with interchangeable components. RCA includes the game-changers such as  ATO, moving block, train-borne localization, FRMCS.

RCA Alpha is not a specification but describes the RCA concepts to allow further discussion and feedback from railways, suppliers, regulators. Based on the feedback the RCA concepts will be incrementally developed into full specifications.

Feedback will be organized with workshops. If you would like to give feedback or to become involved in the evolution of RCA, please contact us.

All RCA Alpha documents are available for download here

In EULYNX the European Infrastructure managers define an internationally standardised signalling system, focusing on common interfaces. EULYNX uses model-based system engineering (MBSE). Infrastructure managers define the appropriate use case descriptions. Modeling experts convert the Use Cases into various SysML model types. The videos explain the methods in which modelling and system engineering expertise is combined with signalling expertise. The analysis of the formal model can be derived from the SysML model. By using formal methods, Infrastructure managers can get the `mathematical confidence’ that the EULYNX standard is fit for purpose with national subsystems.

Subtitled versions are available HERE (click on the link).

Page 8 of 14