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

N.L. Bui

    Research output: ThesisEngD Thesis

    2242 Downloads (Pure)


    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.
    Original languageEnglish
    • Luttik, S.P. (Bas), Supervisor
    Award date28 Sept 2017
    Place of PublicationEindhoven
    Publication statusPublished - 28 Sept 2017

    Bibliographical note

    PdEng thesis


    Dive into the research topics of 'An analysis of the benefits of EULYNX-style requirements modeling for ProRail'. Together they form a unique fingerprint.

    Cite this