Results 21 to 30 of about 99,408 (239)
Towards Model Checking Executable UML Specifications in mCRL2 [PDF]
, 2009 We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams with class generalisations, and state machines with signal and change events.
A Cimatti +11 more
core +8 more sources
Transport automation research, 2022 The article expounds major aspects of cyber protection provision for railway automation and remote control system series, the developments made by staff of Computer railway technology center of Emperor Alexander I St.
V. Moiseev
semanticscholar +1 more source
Dynamic Automated Search of Shunting Routes within Mesoscopic Rail-Traffic Simulators
Journal of Advanced Transportation, 2021 Software tools using computer simulations are frequently used in the research and optimization of railway transport systems. Such simulations serve to examine different railway traffic scenarios (which typically reflect different timetables and railway ...
Antonin Kavička, Pavel Krýže
doaj +1 more source
Virtual Coupling in Railways: A Comprehensive Review
Machines, 2023 The current mobility situation is constantly changing as people are increasingly moving to urban areas. Therefore, a flexible mode of transport with high-capacity passenger trains and a high degree of modularity in the trains’ composition is necessary ...
Jesus Felez +1 more
doaj +1 more source
Optimizing Railway Energy Consumption with Multiple-phase Optimal Control Method [PDF]
International Journal of Railway Research, 2023 In many countries, railways, including intercity, urban railway (metro), tram, monorail, and other lines, have played a vital role in passenger and freight transportation in the past. The problem of optimizing energy and reducing air pollution has always
Fateme Bakhshi +2 more
doaj
An Object Oriented Model of a Railway Safety-Related Control System
Communications, 2002 There is a variety of methods and formalisms usable for writing specifications of railway interlocking and signalling systems or their subsystems. To write a consistent technical specification means to make a model with a required level of precision ...
Karol Rastocny +2 more
doaj +1 more source
Model-Driven Engineering of a Railway Interlocking System
Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, 2015 Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality. MDE is gaining popularity in several industry sectors, and is attractive also for critical systems where they can reduce efforts and costs for verification and validation (V&V), and can ease certification ...
SCIPPACERCOLA, FABIO +3 more
openaire +3 more sources
GTN - Information System Supporting the Dispatcher and Remote Tracks Control
Communications, 2010 When constructing new corridor tracks, but also when reconstructing the existing ones of all categories, new significant improvements and innovations occur in the contruction area. Consequently, the same phenomenon occurs in the newly installed securing,
Emil Krsak +2 more
doaj +1 more source
Timed Fault Tree Models of the China Yongwen Railway Accident [PDF]
, 2014 Safety is an essential requirement for railway transportation. There are many methods that have been developed to predict, prevent and mitigate accidents in this context. All of these methods have their own purpose and limitations.
Johnson, Chris +4 more
core +1 more source
European Transport Research Review, 2017 Purpose In the process of nowadays efficiency evaluation of any mode of transportation, sustainability results are the most important factor. In regard to railway sustainability, Train Control Information Systems (TCIS) are such advanced systems with ...
Evelin Krmac, Boban Djordjević
doaj +1 more source