An analysis of the benefits of EULYNX-style requirements modeling for ProRail

Modeling has recently well accepted in various fields such as automotive, aerospace, telecom industries, and railways. It brings many benefits such as creating an unambiguous method for specifying and interpretation a system, or facilitating an early validation and verification of the completeness of requirements. The EULYNX project uses models to specify subsystem interface requirements. This is an innovative way in comparison with specifying using the textual style requirements. For any systems, especially a safety critical system like the railway signaling domain, it is important to specify unambiguous. In contrary to legacy systems, for the future with modern technology, ProRail has to consider to apply state-of-the-art specification methods, such as modeling. Therefore ProRail desires to investigate the benefit of EULYNX requirements to its organization. This report describes the project to analyze the benefit of EULYNX style models to ProRail. A research and analysis of the existing EULYNX and ProRail’s specifications is carried out. Afterwards, the methodological approach to model is developed and implemented. This approach supports checking the current position of ProRail in EULYNX, checking the potential benefit of models to ProRail. One of the main deliveries of the project, based on the project analysis, are the recommendations for ProRail and EULYNX from the modeling point of view.