A CPN/B method transformation framework for railway safety rules formal validation

Autor: Zakaryae Boudi, Thomas Nolasco, Simon Collart-Dutilleul, El Miloudi El Koursi, Rahma Ben-Ayed, Mohamed Haloua

Publikováno v: European Transport Research Review
European Transport Research Review, Springer Verlag, 2017, 13 (9), 15p. ⟨10.1007/s12544-017-0228-x⟩

This paper presents a “CPN/B method” based process for railway systems safety analysis. Achieving interoperability through the European Rail Traffic Management System (ERTMS/ETCS) is facing difficulties in railway safety assessment due to the int

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ff82692e0d6ae028b3cec6361b09b2a
https://hal.archives-ouvertes.fr/hal-01549539