This folder contains modelling baseline of future ETCS-L3 moving block signalling systems according to the objectives of the WP2 - Modelling and Analysis of Moving Block Specifications of the PERformance-based Formal modelling and Optimal tRaffic Management for movINGblock RAILway signalling (PerformingRail) project.
PerformingRail aims to deliver formal modelling and optimal traffic management, a moving block railway signalling using advanced train positioning approaches. It is a project funded by the Shift-to-Rail EU Programme.
More details and public deliverables at https://www.performingrail.com/
The description of the context, the development process and the details of the artefacts contained in this repository is reported in D2.2 (to appear on https://projects.shift2rail.org/s2r_ip2_n.aspx?p=S2R_PERFORMINGRAIL).
- sysml: SysML model of the ETCS-L3 MB signalling system.
- formal: ormal models of ETCS-L3 aspects (using Timed Automata and Stochastic Activity Networks).
- other: other useful information related to the models (video howtos, requirement sheets, etc.)
Some scientific and technical papers have been published, based on the work and the models contained in this repository.
- Flammini, F., Marrone, S., Nardone, R., Vittorini, V.; Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks (2021) Formal Aspects of Computing, 33 (6), pp. 989-1007. DOI: 10.1007/s00165-021-00560-5
This research has received funding from the Shift2Rail Joint Undertaking (JU) under the European Union’s Horizon 2020 research and innovation programme under grant agreement n. 101015416 PerformingRail. The JU receives support from the European Union’s Horizon 2020 research and innovation program and the Shift2Rail JU members other than the Union.
Stefano Marrone - Università della Campania "Luigi Vanvitelli" (Italy)
The software is licensed according to the GNU General Public License v3.0 (see License file).
Anyone can report bugs & suggestions on GitHub! Here's how it works:
- Click “New issue” and choose the appropriate format.
- Fill out the template with all the relevant info.