{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T15:39:38Z","timestamp":1778600378195,"version":"3.51.4"},"reference-count":28,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T00:00:00Z","timestamp":1632441600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["101015416"],"award-info":[{"award-number":["101015416"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["101015416"],"award-info":[{"award-number":["101015416"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["101015416"],"award-info":[{"award-number":["101015416"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["101015416"],"award-info":[{"award-number":["101015416"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The current travel demand in railways requires the adoption of novel approaches and technologies in order to increase network capacity. Virtual Coupling is considered one of the most innovative solutions to increase railway capacity by drastically reducing train headway. The aim of this paper is to provide an approach to investigate the potential of Virtual Coupling in railways by composing stochastic activity networks model templates. The paper starts describing the Virtual Coupling paradigm with a focus on standard European railway traffic controllers. Based on stochastic activity network model templates, we provide an approach to perform quantitative evaluation of capacity increase in reference Virtual Coupling scenarios. The approach can be used to estimate system capacity over a modelled track portion, accounting for the scheduled service as well as possible failures. Due to its modularity, the approach can be extended towards the inclusion of safety model components. The contribution of this paper is a preliminary result of the PERFORMINGRAIL (PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling) project funded by the European Shift2Rail Joint Undertaking.<\/jats:p>","DOI":"10.1007\/s00165-021-00560-5","type":"journal-article","created":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T10:24:43Z","timestamp":1632479083000},"page":"989-1007","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks"],"prefix":"10.1145","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2833-7196","authenticated-orcid":false,"given":"Francesco","family":"Flammini","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, Eskilstuna, Sweden"},{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[{"name":"University of Campania \u201cLuigi Vanvitelli\u201d, Caserta, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[{"name":"University of Naples \u201cParthenope\u201d, Naples, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[{"name":"University of Naples Federico II, Naples, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Aoun J Quaglietta E Goverde RMP(2020) Exploring demand trends and operational scenarios for Virtual Coupling railway\nsignalling technology. In: 2020 IEEE 23rd International conference on intelligent transportation systems ITSC 2020","DOI":"10.1109\/ITSC45102.2020.9294476"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Courtney T Gaonkar S Keefe K Rozier EWD Sanders WH (2009) M\u00f6bius 2.3: an extensible tool for dependability security and performance evaluation of large and complex system models. In: 2009 IEEE\/IFIP International conference on dependable\nsystems and networks. IEEE pp 353\u2013358","DOI":"10.1109\/DSN.2009.5270318"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Cao Y Wen J MaL (2021) Tracking and collision avoidance of Virtual Coupling train control system. Alex Eng J 60(2):2115\u2013\n2125","DOI":"10.1016\/j.aej.2020.12.010"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Chen M Xun J Liu Y (2020) A coordinated collision mitigation approach for Virtual Coupling trains by using model\npredictive control. In: 2020 IEEE 23rd International conference on intelligent transportation systems ITSC 2020","DOI":"10.1109\/ITSC45102.2020.9294633"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Di Meo C Di Vaio M Flammini F Nardone R Santini S Vittorini V (2020) ERTMS\/ETCS Virtual Coupling: proof of\nconcept and numerical analysis. IEEE Trans Intell Transport Syst 21(6):2545\u20132556","DOI":"10.1109\/TITS.2019.2920290"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"Fantechi A Flammini F Gnesi S (2014) Formal methods for railway control systems. Int J Softw Tools Technol Transf\n16(6):643\u2013646","DOI":"10.1007\/s10009-014-0342-1"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Flammini F (2012) Railway safety reliability and security: technologies and systems engineering. IGI Global Hershey","DOI":"10.4018\/978-1-4666-1643-1"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Fraga-Lamas P Fern\u00e1ndez-Caram\u00e9s TM Castedo L (2017) Towards the internet of smart trains: a review on industrial\nIoT-connected railways. Sensors (Switzerland) 17(6)","DOI":"10.3390\/s17061457"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","unstructured":"Flammini F Marrone S Nardone R Petrillo A Santini S Vittorini V (2018) Towards railway Virtual Coupling. In: 2018\nIEEE International conference on electrical systems for aircraft railway ship propulsion and road vehicles and international\ntransportation electrification conference (ESARS-ITEC). IEEE pp 1\u20136","DOI":"10.1109\/ESARS-ITEC.2018.8607523"},{"key":"e_1_2_1_2_10_2","unstructured":"Furness N van Houten H Arenas L Maarten B (2017) ERTMS level 3: the game-changer"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"crossref","unstructured":"Gomez AA Mozo E Bernado L Zelenbaba S Zemen T Parrilla F Alberdi A (2018) Performance analysis of ITS-G5 for\nsmart train composition coupling. In: Proceedings of 2018 16th international conference on intelligent transport system\ntelecommunications ITST 2018","DOI":"10.1109\/ITST.2018.8566840"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Goikoetxea J (2016) Roadmap towards the wireless virtual coupling of trains. In: International workshop on communication\ntechnologies for vehicles. Springer Berlin pp 3\u20139","DOI":"10.1007\/978-3-319-38921-9_1"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Le HQ Lehner A Sand S (2015) Performance analysis of ITS-G5 for dynamic train coupling application. In: Kassab M Berbineau M Vinel A Jonsson M Garcia F Soler J (eds) Communication technologies for vehicles. Springer International\nPublishing Cham pp 129\u2013140","DOI":"10.1007\/978-3-319-17765-6_12"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Liu L Wang P Zhang B Wei W (2019) Coordinated control method of virtually coupled train formation based on multi\nagent system. Smart Innov Syst Technol 129:225\u2013233","DOI":"10.1007\/978-3-030-04582-1_27"},{"key":"e_1_2_1_2_15_2","unstructured":"Mingozzi E Cau G Cavaliere F (2002) The train communication network in the trains of FS fleet: optimisation integration\nand interoperability of railway functionality. WIT Trans Built Environ 61"},{"key":"e_1_2_1_2_16_2","unstructured":"Mitchell I et al (2016) ERTMS level 4 train convoys or virtual coupling. IRSE International Technical Commitee"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Marrone S Flammini F Mazzocca N Nardone R Vittorini V (2014) Towards model-driven V&V assessment of railway\ncontrol systems. Int J Softw Tools Technol Transf 16(6):669\u2013683","DOI":"10.1007\/s10009-014-0320-7"},{"key":"e_1_2_1_2_18_2","unstructured":"Meyer JF Movaghar A Sanders WH (1985) Stochastic activity networks: structure behavior and application. In: International\nworkshop on timed Petri Nets. IEEE Computer Society Washington DC pp 106\u2013115"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"Quaglietta E Wang M Goverde RMP (2020) A multi-state train-following model for the analysis of Virtual Coupling railway\noperations. J Rail Transp Plan Manag 15","DOI":"10.1016\/j.jrtpm.2020.100195"},{"key":"#cr-split#-e_1_2_1_2_20_2.1","unstructured":"Ren W Green D (1994) Continuous platooning: a new evolutionary operating concept for automated highway systems. In:"},{"key":"#cr-split#-e_1_2_1_2_20_2.2","unstructured":"Proceedings of 1994 American control conference-ACC'94 vol 1. IEEE pp 21-25"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"crossref","unstructured":"Schumann T (2017) Increase of capacity on the Shinkansen high-speed line using Virtual Coupling. Int J Transp Dev Integr\n1(4):666\u2013676","DOI":"10.2495\/TDI-V1-N4-666-676"},{"key":"e_1_2_1_2_22_2","unstructured":"Shift2Rail Joint Undertaking. Multi-annual action plan Nov 2015"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"She J Li K Yuan L Zhou Y Su S (2020) Cruising control approach for virtually coupled train set based on model predictive\ncontrol. In: 2020 IEEE 23rd International conference on intelligent transportation systems ITSC 2020","DOI":"10.1109\/ITSC45102.2020.9294534"},{"key":"#cr-split#-e_1_2_1_2_24_2.1","doi-asserted-by":"crossref","unstructured":"Sanders WH Meyer JF (2001) Stochastic Activity Networks: Formal definitions and concepts. Lecture notes in computer","DOI":"10.1007\/3-540-44667-2_9"},{"key":"#cr-split#-e_1_2_1_2_24_2.2","unstructured":"science (including subseries Lecture notes in artificial intelligence and lecture notes in bioinformatics) vol 2090 pp 315-343"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Unterhuber P Lehner A de Ponte M\u00fcller F (2016) Measurement and analysis of ITS-G5 in railway environments. Lecture\nnotes in computer science (including subseries Lecture notes in artificial intelligence and lecture notes in bioinformatics) vol\n9669 pp 62\u201373","DOI":"10.1007\/978-3-319-38921-9_7"},{"key":"e_1_2_1_2_26_2","unstructured":"UNISIG (2016) ERTMS\/ETCS: System requirements specification\u2014SUBSET-026 issue 3.6.0"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-021-00560-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00165-021-00560-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-021-00560-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-021-00560-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,21]],"date-time":"2022-04-21T20:44:27Z","timestamp":1650573867000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-021-00560-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":28,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["10.1007\/s00165-021-00560-5"],"URL":"https:\/\/doi.org\/10.1007\/s00165-021-00560-5","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"22 February 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 July 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 July 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}