Analyzing railway critical scenarios usually involves a large team of diverse railway abilities and skills. This paper presents a formal modeling pattern for Hierarchical Colored Petri Nets (HCPN) in modeling railway safety critical scenarios. Indeed, under the French project called “PERFECT”, our long-term objective is to formalize and automate a significant part of railway scenarios modeling. The purpose of this contribution is to bring a first proposition of a standardized modeling way able to deal with the models complexity resulting from the various modeling capabilities for railway scenarios. In fact, HCPN modeling freedom is preventing from accurate information aggregation and a beneficial use of those models in an overall safety analysis. The proposed pattern is based on modular High Level Petri Nets and consists in describing all the railway scenario episodes while incorporating most relevant safety components of the system, such as safety regulation procedures, interlocking and even human involvement, enabling a larger gathering of information and allowing the study of diverse issues in a same global model. This work intends to bring a concrete and reusable HCPN pattern for modeling in order to facilitate studies of accidental scenarios considering automatic mechanisms and human tasks. A concrete application of the pattern was made for the real accidental scenario of “Saint Romain en Gier”.
Skip Nav Destination
2015 Joint Rail Conference
March 23–26, 2015
San Jose, California, USA
Conference Sponsors:
- Rail Transportation Division
ISBN:
978-0-7918-5645-1
PROCEEDINGS PAPER
An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling Available to Purchase
Zakaryae Boudi,
Zakaryae Boudi
French Institute of Science and Technology for Transport, Development, and Networks, Villeneuve d’ascq, France
Search for other works by this author on:
El Miloudi El Koursi,
El Miloudi El Koursi
French Institute of Science and Technology for Transport, Development, and Networks, Villeneuve d’ascq, France
Search for other works by this author on:
Simon Collart-Dutilleul
Simon Collart-Dutilleul
French Institute of Science and Technology for Transport, Development, and Networks, Villeneuve d’ascq, France
Search for other works by this author on:
Zakaryae Boudi
French Institute of Science and Technology for Transport, Development, and Networks, Villeneuve d’ascq, France
El Miloudi El Koursi
French Institute of Science and Technology for Transport, Development, and Networks, Villeneuve d’ascq, France
Simon Collart-Dutilleul
French Institute of Science and Technology for Transport, Development, and Networks, Villeneuve d’ascq, France
Paper No:
JRC2015-5687, V001T06A007; 10 pages
Published Online:
June 10, 2015
Citation
Boudi, Z, El Koursi, EM, & Collart-Dutilleul, S. "An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling." Proceedings of the 2015 Joint Rail Conference. 2015 Joint Rail Conference. San Jose, California, USA. March 23–26, 2015. V001T06A007. ASME. https://doi.org/10.1115/JRC2015-5687
Download citation file:
9
Views
Related Proceedings Papers
Related Articles
Modeling, Feedforward Control, and Constrained Trajectory Generation for a Concrete Conveyance System
J. Dyn. Sys., Meas., Control (October,2023)
Seismic Fragility Curves of an Arch Dam With Special Regard to Ultimate Limit State
ASME J. Risk Uncertainty Part B (December,2019)
Modeling Pop Action Pressure Relief Valve as a Bistable Element
J. Pressure Vessel Technol (October,2015)
Related Chapters
Dismantling
Decommissioning Handbook
Digital Human in Engineering and Bioengineering Applications
Advances in Computers and Information in Engineering Research, Volume 1
Modeling of SAMG Operator Actions in Level 2 PSA (PSAM-0164)
Proceedings of the Eighth International Conference on Probabilistic Safety Assessment & Management (PSAM)