Home

The EULYNX Annual report 2018 is published, giving an overview and status of our work, and providing an insight in the plans and activities of the EULYNX members.

The EULYNX Annual report 2018 is available for download here:  pdf EULYNX Annual Report 2018 (1.36 MB)  

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

The EULYNX Consortium has published an updated documentation release Baseline Set 3 Release 2. The release includes updated SCI-TDS specifications and an update to Domain Knowledge. The EULYNX Consortium has scheduled follow up releases of Baseline Set 3: 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 . If your organisation does not have yet registered access please fill out the  folder registration form . 

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