Sökning: onr:"swepub:oai:DiVA.org:lnu-107471" >
Compositional model...
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks
-
- Flammini, Francesco, Senior Lecturer, 1978- (författare)
- Mälardalens högskola,Linnéuniversitetet,Institutionen för datavetenskap och medieteknik (DM),Mälardalen University, Sweden,ERES;DISA-SIG,Innovation och produktrealisering,Linnaeus Univ, Vaxjo, Sweden.
-
- Marrone, Stefano (författare)
- Univ Campania Luigi Vanvitelli, Caserta, Italy.
-
- Nardone, Roberto (författare)
- Univ Naples Parthenope, Naples, Italy.
-
visa fler...
-
- Vittorini, Valeria (författare)
- Univ Naples Federico II, Naples, Italy.
-
visa färre...
-
(creator_code:org_t)
- Springer, 2021
- 2021
- Engelska.
-
Ingår i: Formal Aspects of Computing. - : Springer. - 0934-5043 .- 1433-299X. ; 33, s. 989-1007
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://link.springe...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Samhällsbyggnadsteknik -- Transportteknik och logistik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Civil Engineering -- Transport Systems and Logistics (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- Railway
- Performance Modelling
- Stochastic Activity Networks
- Moving block
- Virtual Coupling
- Computer Science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas